Resolution-Based Certificate Extraction for QBF - (Tool Presentation)

Publication
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings