A First Step Towards a Unified Proof Checker for QBF

Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kroening, and Christoph M. Wintersteiger
2007

In Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)

Publisher Springer