Short Proofs in QBF Expansion

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

10.1007/978-3-030-24258-9_2 ◽

2019 ◽

pp. 19-35 ◽

Author(s):

Olaf Beyersdorff ◽

Leroy Chew ◽

Judith Clymo ◽

Meena Mahajan

Download Full-text