A First Step Towards a Unified Proof Checker for QBF
Toni Jussila‚ Armin Biere‚ Carsten Sinz‚ Daniel Kroening and Christoph Wintersteiger
Details
| Book Title |
Proceedings of SAT 2007 |
| ISBN |
978−3−540−72787−3 |
| Pages |
201–214 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
4501 |
| Year |
2007 |
Links
Related pages
|
People |