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 (9)
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
This page was built for publication: Theory and Applications of Satisfiability Testing
