Theory and Applications of Satisfiability Testing

DOI10.1007/B95238zbMATH Open1204.68190DBLPconf/sat/2003OpenAlexW2494235144MaRDI QIDQ5325875FDOQ5325875

Alan M. Frisch, Lyndon Drake

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 👍 👎

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)