sQueezeBF

MaRDI QIDQ19022swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-642-14186-7_9

Described by source

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

Cited in

(42)

• PReLearn
• QuBE++
• QRATPre+
• NiVER
• Quaffle
• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
• Bloqqer
• Nenofex
• QUBOS
• QBFLIB
• HeerHugo
• DepQBF
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• QUBE
• Solution validation and extraction for QBF preprocessing
• Conformant planning as a case study of incremental QBF solving
• Solving QBF with counterexample guided refinement
• Solving QBF with counterexample guided refinement
• Coprocessor
• The QBF Gallery: behind the scenes
• On QBF Proofs and Preprocessing
• Abstraction-based algorithm for 2QBF
• Failed literal detection for QBF
• HordeQBF
• MPIDepQBF
• Dominant controllability check using QBF-solver and netlist optimizer
• A unified proof system for QBF preprocessing
• Preprocessing for DQBF
• QBFEVAL
• CAQE
• AIGSolve
• Quantor
• semprop
• HQSpre
• Formal system verification. State-of the-art and future trends
• Blocked clause elimination for QBF
• POWER-TRUCTOR
• ASDeX
• Mjollnir
• sKizzo
• RAReQS
• QESTO

This page was built for software: sQueezeBF