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

Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere. Resolution-Based Certificate Extraction for QBF - (Tool Presentation). In Alessandro Cimatti, Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings. Volume 7317 of Lecture Notes in Computer Science, pages 430-435, Springer, 2012. [doi]

Authors

Aina Niemetz

This author has not been identified. Look up 'Aina Niemetz' in Google

Mathias Preiner

This author has not been identified. Look up 'Mathias Preiner' in Google

Florian Lonsing

This author has not been identified. Look up 'Florian Lonsing' in Google

Martina Seidl

This author has not been identified. It may be one of the following persons: Look up 'Martina Seidl' in Google

Armin Biere

This author has not been identified. Look up 'Armin Biere' in Google