Theory and Applications of Satisfiability Testing

DOI10.1007/B95238MaRDI QIDQ5325873zbMATH OpenOpenAlexFDO

Authors Fahiem Bacchus, Jonathan Winter

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

• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• A Preprocessor for Max-SAT Solvers
• Theory and Applications of Satisfiability Testing
• Applying Logic Synthesis for Speeding Up SAT

Cited in

(21)

• Theory and Applications of Satisfiability Testing
• The state of SAT
• SATenstein: automatically building local search SAT solvers from components
• On preprocessing techniques and their impact on propositional model counting
• Predicate Elimination for Preprocessing in First-Order Theorem Proving
• Theory and Applications of Satisfiability Testing
• Reasoning with propositional logic: from SAT solvers to knowledge compilation
• Applying Logic Synthesis for Speeding Up SAT
• Compacting Boolean formulae for inference in probabilistic logic programming
• Simplifying binary propositional theories into connected components twice as fast
• Theory and Applications of Satisfiability Testing
• Definability for model counting
• Clausal congruence closure
• A Gröbner Basis Approach to CNF-Formulae Preprocessing
• An overview of parallel SAT solving
• Simulating circuit-level simplifications on CNF
• Theory and Applications of Satisfiability Testing
• Clause vivification by unit propagation in CDCL SAT solvers
• On the role of logical separability in knowledge compilation
• Blocked clause elimination for QBF
• Present and Future of Practical SAT Solving

Describes a project that uses

Uses Software

• DIMACS
• Chaff

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 Q5325873)