CirQit2

MaRDI QIDQ23326swMATHFDO

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

Described by source

• Beyond CNF: A Circuit-Based QBF Solver
• Exploiting circuit representations in QBF solving

Cited in

(11)

• Efficiently solving quantified bit-vector formulas
• QuBE++
• Nenofex
• QUBE
• QuteSAT
• QMiraXT
• Solving QBF with counterexample guided refinement
• Transformations into normal forms for quantified circuits
• Quantor
• sKizzo
• Non-prenex QBF solving using abstraction

This page was built for software: CirQit2