The QBF Solver AIGSolve

Christoph Scholl, Florian Pigorsch. The QBF Solver AIGSolve. In Florian Lonsing, Martina Seidl, editors, Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. Volume 1719 of CEUR Workshop Proceedings, pages 55-62,, 2016. [doi]


Abstract is missing.