sQueezeBF

swMATH6959MaRDI QIDQ19022FDOQ19022

Author name not available (Why is that?)

Described by source

• sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning

Cited In (15)

• Solving QBF with counterexample guided refinement
• The QBF Gallery: behind the scenes
• Conformant planning as a case study of incremental QBF solving
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• Abstraction-based algorithm for 2QBF
• Failed literal detection for QBF
• Solving QBF with Counterexample Guided Refinement
• Preprocessing for DQBF
• Solution validation and extraction for QBF preprocessing
• On QBF Proofs and Preprocessing
• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
• A Unified Proof System for QBF Preprocessing
• Blocked clause elimination for QBF
• Dominant Controllability Check Using QBF-Solver and Netlist Optimizer
• Formal System Verification

This page was built for software: sQueezeBF