6 search results - page 2 / 2 » A Solver for QBFs in Nonprenex Form |
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...