Dynamically Partitioning for Solving QBF

DOI10.1007/978-3-540-72788-0_22zbMath1214.68373OpenAlexW1807142225MaRDI QIDQ3612468

Horst Samulowitz, Fahiem Bacchus

Publication date: 10 March 2009

Published in: Theory and Applications of Satisfiability Testing – SAT 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72788-0_22

Mathematics Subject Classification ID

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

Related Items (1)

Beyond CNF: A Circuit-Based QBF Solver

This page was built for publication: Dynamically Partitioning for Solving QBF