Theory and Applications of Satisfiability Testing

DOI10.1007/11527695zbMath1122.68601OpenAlexW2483910514MaRDI QIDQ5714748

Jinbo Huang, Adnan Darwiche

Publication date: 16 December 2005

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

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

Mathematics Subject Classification ID

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

Related Items (5)

On preprocessing techniques and their impact on propositional model counting ⋮ A Study of Symmetry Breaking Predicates and Model Counting ⋮ Binary Decision Diagrams ⋮ Estimating the volume of solution space for satisfiability modulo linear real arithmetic ⋮ Implementing Efficient All Solutions SAT Solvers

Uses Software

• SATLIB
• CUDD
• FORCE

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