Title: | A First Step Towards a Unified Proof Checker for QBF |
---|---|
Links: | Homepage Document as PDF |
Authors: | Toni Jussila |
Armin Biere | |
Carsten Sinz | |
Daniel Kroening EMail | |
Christoph Wintersteiger | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{jbskw2007, AUTHOR = { Jussila, Toni and Biere, Armin and Sinz, Carsten and Kroening, Daniel and Wintersteiger, Christoph }, TITLE = { A First Step Towards a Unified Proof Checker for {QBF} }, BOOKTITLE = { Proceedings of SAT 2007 }, YEAR = { 2007 }, PUBLISHER = { Springer }, PAGES = { 201--214 }, ISBN = { 978-3-540-72787-3 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 4501 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.