메뉴 건너뛰기




Volumn 25, Issue 2, 2012, Pages 75-95

Parallel search for maximum satisfiability

Author keywords

cardinality constraints; maximum satisfiability; Parallel search

Indexed keywords

BOOLEAN SATISFIABILITY; CARDINALITY CONSTRAINTS; ENCODINGS; LINEAR SEARCH; LOWER AND UPPER BOUNDS; LOWER BOUNDS; MAX-SAT; MAXIMUM SATISFIABILITY; MULTI-CORE PROCESSOR; NUMBER OF THREADS; OPTIMAL SOLUTIONS; PARALLEL SEARCH; PARALLEL SEARCH ALGORITHM; PARALLEL SOLVER; SAT SOLVERS; SEARCH SPACES; UPPER BOUND;

EID: 84864428731     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-2012-0517     Document Type: Conference Paper
Times cited : (18)

References (39)
  • 5
    • 77950191142 scopus 로고    scopus 로고
    • Practical algorithms for unsatisfiability proof and core generation in SAT solvers
    • R. Asín, R. Nieuwenhuis, A. Oliveras and E. Rodríguez- Carbonell, Practical algorithms for unsatisfiability proof and core generation in SAT solvers, AI Commun. 23(2,3) (2010), 145-157.
    • (2010) AI Commun. , vol.23 , Issue.2-3 , pp. 145-157
    • Asín, R.1    Nieuwenhuis, R.2    Oliveras, A.3    Rodríguez-Carbonell, E.4
  • 10
    • 34249752547 scopus 로고    scopus 로고
    • Resolution for Max-SAT
    • DOI 10.1016/j.artint.2007.03.001, PII S0004370207000422
    • M.L. Bonet, J. Levy and F. Manyá, Resolution for Max-SAT, Artif. Intell. 171(8,9) (2007), 606-618. (Pubitemid 46828977)
    • (2007) Artificial Intelligence , vol.171 , Issue.8-9 , pp. 606-618
    • Bonet, M.L.1    Levy, J.2    Manya, F.3
  • 17
    • 33750337092 scopus 로고    scopus 로고
    • Solving non-boolean satisfiability problems with stochastic local search: A comparison of encodings
    • DOI 10.1007/s10817-005-9011-0
    • A.M. Frisch, T.J. Peugniez, A.J. Doggett and P. Nightingale, Solving non-Boolean satisfiability problems with stochastic local search: a comparison of encodings, J. Automat. Reason. 35(1-3) (2005), 143-179. (Pubitemid 44619283)
    • (2005) Journal of Automated Reasoning , vol.35 , Issue.1-3 , pp. 143-179
    • Frisch, A.M.1    Peugniez, T.J.2    Doggett, A.J.3    Nightingale, P.W.4
  • 24
    • 84864217224 scopus 로고    scopus 로고
    • SArTagnan -A parallel portfolio SAT solver with lockless physical clause sharing
    • Ann Arbor, MI
    • S. Kottler and M. Kaufmann, SArTagnan -A parallel portfolio SAT solver with lockless physical clause sharing, in: Pragmatics of SAT Workshop, Ann Arbor, MI, 2011.
    • (2011) Pragmatics of SAT Workshop
    • Kottler, S.1    Kaufmann, M.2
  • 32
    • 49749083804 scopus 로고    scopus 로고
    • Algorithms for maximum satisfiability using unsatisfiable cores
    • ACM Press, New York, NY
    • J. Marques-Silva and J. Planes, Algorithms for maximum satisfiability using unsatisfiable cores, in: Design, Automation and Testing in Europe Conference, ACM Press, New York, NY, 2008, pp. 408-413.
    • (2008) Design, Automation and Testing in Europe Conference , pp. 408-413
    • Marques-Silva, J.1    Planes, J.2
  • 39
    • 84893807812 scopus 로고    scopus 로고
    • Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications
    • IEEE Computer Society Press, Washington, DC
    • L. Zhang and S. Malik, Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications, in: Design, Automation and Testing in Europe Conference, IEEE Computer Society Press, Washington, DC, 2003, pp. 10880-10885.
    • (2003) Design, Automation and Testing in Europe Conference , pp. 10880-10885
    • Zhang, L.1    Malik, S.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.