Theory and Applications of Satisfiability Testing

DOI10.1007/b137280zbMath1128.94308OpenAlexW2497844642MaRDI QIDQ5713741

Stephen D. Brown, Deshanand P. Singh, Andrew Ling

Publication date: 15 December 2005

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

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

Mathematics Subject Classification ID

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

Related Items

Unnamed Item ⋮ Lower bound techniques for QBF expansion ⋮ Unnamed Item ⋮ Building strategies into QBF proofs ⋮ A solver for QBFs in negation normal form

Uses Software

• Chaff
• Quaffle

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