The Equivalences of Refutational QRAT

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

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

2019 ◽

pp. 100-116

Author(s):

Leroy Chew ◽

Judith Clymo

Download Full-text