On QBF Proofs and Preprocessing
Mikolás Janota‚ Radu Grigore and Joao Marques−Silva
Book Title
Logic for Programming‚ Artificial Intelligence‚ and Reasoning — 19th International Conference‚ LPAR−19‚ Stellenbosch‚ South Africa‚ December 14−19‚ 2013. Proceedings
Editor
Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov
ISBN
978−3−642−45220−8
Pages
473–489
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8312
Year
2013