Local Soundness for QBF Calculi

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_14 ◽

2018 ◽

pp. 217-234 ◽

Author(s):

Martin Suda ◽

Bernhard Gleiss

Download Full-text