Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
A First Step Towards a Unified Proof Checker for QBF

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

Details

Publication typeInproceedings
Published inProceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
Number4501
SeriesLNCS
PublisherSpringer
> Publications > A First Step Towards a Unified Proof Checker for QBF