Concurrent Clause Strengthening

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

10.1007/978-3-642-39071-5_10 ◽

2013 ◽

pp. 116-132 ◽

Author(s):

Siert Wieringa ◽

Keijo Heljanko

Download Full-text