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