Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5325879
DOI10.1007/b95238zbMath1204.68206WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ5325879
Karem A. Sakallah, Maher Mneimneh
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
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
05C85: Graph algorithms (graph-theoretic aspects)
Related Items
Optimal Algorithms for Inverse Eccentric Vertex Location Problem on Extended Star Networks, Solving QBF with counterexample guided refinement, Inverse eccentric vertex problem on networks, A self-adaptive multi-engine solver for quantified Boolean formulas, Planning as satisfiability: parallel plans and algorithms for plan search, 2QBF: Challenges and Solutions, Compressing BMC Encodings with QBF, Abstraction-Based Algorithm for 2QBF, Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
Uses Software