CirQit2

swMATH11380MaRDI QIDQ23326FDOQ23326

Author name not available (Why is that?)

Described by source

• Beyond CNF: A Circuit-Based QBF Solver
• Exploiting Circuit Representations in QBF Solving

Cited In (4)

• Solving QBF with counterexample guided refinement
• Transformations into Normal Forms for Quantified Circuits
• Non-prenex QBF Solving Using Abstraction
• Efficiently solving quantified bit-vector formulas

This page was built for software: CirQit2