×

Found 12 Documents (Results 1–12)

Sequential encodings from Max-CSP into partial Max-SAT. (English) Zbl 1247.68243

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, 161-166 (2009).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

A preprocessor for Max-SAT solvers. (English) Zbl 1138.68532

Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 15-20 (2008).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Modelling Max-CSP as partial Max-SAT. (English) Zbl 1138.68531

Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 1-14 (2008).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI Link

Solving over-constrained problems with SAT technology. (English) Zbl 1124.68430

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, 1-15 (2005).
MSC:  68T20 68P05
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