×

Found 13 Documents (Results 1–13)

Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. (English) Zbl 1456.68001

Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3/pbk; 978-1-64368-161-0/ebook). xvii, 1465 p. (2021).
PDFBibTeX XMLCite
Full Text: Link

Dynamic symmetry breaking by simulating Zykov contraction. (English) Zbl 1247.68260

Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 223-236 (2009).
MSC:  68T20 05C15 05C80
PDFBibTeX XMLCite
Full Text: DOI

Effective incorporation of double look-ahead procedures. (English) Zbl 1214.68356

Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 258-271 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

From idempotent generalized Boolean assignments to multi-bit search. (English) Zbl 1214.68355

Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 134-147 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. (English) Zbl 1122.68599

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 345-359 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Aligning CNF- and equivalence-reasoning. (English) Zbl 1122.68600

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 145-156 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Observed lower bounds for random 3-SAT phase transition density using linear programming. (English) Zbl 1128.68466

Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 122-134 (2005).
MSC:  68T20 90C05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software