GhostQ

DOI10.3233/SAT190117zbMath1484.68221MaRDI QIDQ5015604

William Klieber

Publication date: 9 December 2021

Published in: Journal on Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

zbMATH Keywords

QBFDPLLnon-clausalPlaisted-Greenbaum encoding

Mathematics Subject Classification ID

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

Related Items (2)

GhostQ ⋮ Dual proof generation for quantified Boolean formulas with a BDD-based solver

Cites Work

• Unnamed Item
• Solving QBF with counterexample guided refinement
• Solving QBF with Counterexample Guided Refinement
• A Non-prenex, Non-clausal QBF Solver with Game-State Learning
• Recovering and Utilizing Partial Duality in QBF

This page was built for publication: GhostQ