A symbolic search based approach for quantified Boolean formulas

DOI10.1007/11499107_2MaRDI QIDQ5713717zbMATH OpenOpenAlexFDO

Authors Gilles Audemard, Lakhdar Sais

Publication date 15 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b137280

zbMATH Keywords

Binary decision diagramQuantified Boolean formulaSatisfiability

Mathematics Subject Classification ID

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

Recommendations

• Principles and Practice of Constraint Programming – CP 2004
• Using SAT in QBF
• Search vs. symbolic techniques in satisfiability solving
• Using stochastic local search to solve quantified Boolean formulae
• Symbolic techniques in satisfiability solving

Cited in

(21)

• A self-adaptive multi-engine solver for quantified Boolean formulas
• Circuit-based search space pruning in QBF
• Dual proof generation for quantified Boolean formulas with a BDD-based solver
• Abstract solvers for quantified Boolean formulas and their applications
• Incremental determinization
• Extended Failed-Literal Preprocessing for Quantified Boolean Formulas
• Planning as quantified Boolean formula
• Enhancing search-based QBF solving by dynamic blocked clause elimination
• Using SAT in QBF
• Dynamically Partitioning for Solving QBF
• Theory and Applications of Satisfiability Testing
• Evaluating QBFs via symbolic Skolemization
• A branching heuristics for quantified renamable Horn formulas
• Search vs. symbolic techniques in satisfiability solving
• Analysis of search based algorithms for satisfiability of propositional and quantified Boolean formulas arising from circuit state space diameter problems
• Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
• Binary Clause Reasoning in QBF
• Using stochastic local search to solve quantified Boolean formulae
• Principles and Practice of Constraint Programming – CP 2004
• OuterCount: a first-level solution-counter for quantified Boolean formulas
• Quantified Boolean Solving for Achievement Games

Describes a project that uses

Uses Software

• Chaff
• MiniSat
• Quaffle

This page was built for publication: A symbolic search based approach for quantified Boolean formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5713717)