Theory and Applications of Satisfiability Testing

DOI10.1007/B95238MaRDI QIDQ5325875zbMATH OpenOpenAlexDBLPFDO

Authors Lyndon Drake, Alan M. Frisch

Publication date 24 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b95238

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Branching rules for satisfiability
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Inprocessing rules
• A Preprocessor for Max-SAT Solvers

Cited in

(1)

• Theory and Applications of Satisfiability Testing

This page was built for publication: Theory and Applications of Satisfiability Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325875)