A First Step Towards a Unified Proof Checker for QBF

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

Publisher  Springer

Details

TypeInproceedings
Number4501
SeriesLNCS
> Publications > A First Step Towards a Unified Proof Checker for QBF