sQueezeBF

swMATH6959MaRDI QIDQ19022FDOQ19022

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)

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

This page was built for software: sQueezeBF