CirQit2

swMATH11380MaRDI QIDQ23326FDOQ23326

Author name not available (Why is that?)

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)

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

This page was built for software: CirQit2