A Concurrent Portfolio Approach to SMT Solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5643 LNCS, Issue , 2009, Pages 715-720

  Wintersteiger, Christoph M ^a   Hamadi, Youssef ^b   De Moura, Leonardo ^c  

^a ETH ZURICH   (Switzerland)

^b MICROSOFT RESEARCH   (United Kingdom)

^c MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LARGE-SCALE COMPUTING; MULTI-CORE PROCESSOR; ORDER OF MAGNITUDE; PARALLEL VERSION; SAT PROBLEMS; SATISFIABILITY;

COMPUTER AIDED ANALYSIS;

PARALLEL ALGORITHMS;

EID: 70350225844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_60     Document Type: Conference Paper

References (6)

1. Audemard, G., Bordeaux, L., Hamadi, Y., Jabbour, S., Sais, L.: A Generalized Framework for Conflict Analysis. In: Kleine Büning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol. 4996, pp. 21-27. Springer, Heidelberg (2008)
2. de Moura, L., Bjørner, N.: Efficient E-matching for SMT Solvers. In: Pfenning, F. (ed.) CADE 2007. LNCS, vol. 4603, pp. 183-198. Springer, Heidelberg (2007)
3. de Moura, L., Bjørner, N.: Model-based Theory Combination. In: SMT 2007 (2007)
4. de Moura, L., Bjørner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
5. Hamadi, Y., Jabbour, S., Sais, L.: ManySAT: A Parallel SAT Solver. Journal of Satisfiability (2008) (to appear)
6. Hamadi, Y., Jabbour, S., Sais, L.: ManySAT: Solver Description. Technical Report MSR-TR-2008-83, Microsoft Research (May 2008)