Automated Testing and Debugging of SAT and QBF Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Brummayer, Florian Lonsing, Armin Biere. Automated Testing and Debugging of SAT and QBF Solvers. In Ofer Strichman, Stefan Szeider, editors, Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6175 of Lecture Notes in Computer Science, pages 44-57, Springer, 2010. [doi]

This author has not been identified. Look up 'Robert Brummayer' in GoogleThis author has not been identified. Look up 'Florian Lonsing' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL