Enhancing search-based QBF solving by dynamic blocked clause elimination

DOI10.1007/978-3-662-48899-7_29MaRDI QIDQ3460072zbMATH OpenOpenAlexFDO

Authors Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_29

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in computer science (03B70)

Recommendations

• Blocked clause elimination for QBF
• Dynamically Partitioning for Solving QBF
• Theory and Applications of Satisfiability Testing
• On expansion and resolution in CEGAR based QBF solving
• On QBF Proofs and Preprocessing

Cited in

(18)

• Q-resolution with generalized axioms
• Long distance Q-resolution with dependency schemes
• Dynamically Partitioning for Solving QBF
• Solving QBF with counterexample guided refinement
• Local redundancy in SAT: generalizations of blocked clauses
• Conformant planning as a case study of incremental QBF solving
• Interpolation-based semantic gate extraction and its applications to QBF preprocessing
• The power of non-ground rules in Answer Set Programming
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL
• A game characterisation of tree-like Q-resolution size
• Super-blocked clauses
• Truth assignments as conditional autarkies
• Solution validation and extraction for QBF preprocessing
• CAQE and QuAbS: Abstraction Based QBF Solvers
• Long-distance Q-resolution with dependency schemes
• HordeQBF: a modular and massively parallel QBF solver
• Blocked clause elimination for QBF

Describes a project that uses

Uses Software

• Bloqqer

This page was built for publication: Enhancing search-based QBF solving by dynamic blocked clause elimination

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