Theory and Applications of Satisfiability Testing

DOI10.1007/11527695zbMath1122.68603OpenAlexW2483910514MaRDI QIDQ5714750

Daniel Sheridan, Paul B. Jackson

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

Algorithms for Solving Satisfiability Problems with Qualitative Preferences, Simulating circuit-level simplifications on CNF, Solving satisfiability problems with preferences, Towards better heuristics for solving bounded model checking problems, Solving SAT in a distributed cloud: a portfolio approach

Uses Software

• NuSMV
• Chaff