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)
• Blocked Clause Elimination for QBF
• Solving QBF with Counterexample Guided Refinement
• Abstraction-Based Algorithm for 2QBF
• Failed Literal Detection for QBF
• 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
• Dominant Controllability Check Using QBF-Solver and Netlist Optimizer
• Formal System Verification

This page was built for software: sQueezeBF