sQueezeBF

swMATH6959MaRDI QIDQ19022FDOQ19022

Author name not available (Why is that?)

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)

• Solving QBF with counterexample guided refinement
• 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)
• RAReQS
• Abstraction-based algorithm for 2QBF
• Failed literal detection for QBF
• QESTO
• Formal system verification. State-of the-art and future trends
• A unified proof system for QBF preprocessing
• QuBE++
• NiVER
• Quaffle
• Bloqqer
• Nenofex
• DepQBF
• HeerHugo
• QBFLIB
• QUBOS
• QUBE
• Coprocessor
• HordeQBF
• MPIDepQBF
• QBFEVAL
• AIGSolve
• CAQE
• Quantor
• HQSpre
• semprop
• Dominant controllability check using QBF-solver and netlist optimizer
• ASDeX
• POWER-TRUCTOR
• Mjollnir
• sKizzo
• 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
• PReLearn
• QRATPre+
• Blocked clause elimination for QBF

This page was built for software: sQueezeBF