Improvements to Hybrid Incremental SAT Algorithms

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

10.1007/978-3-540-79719-7_17 ◽

2008 ◽

pp. 168-181 ◽

Cited By ~ 2

Author(s):

Florian Letombe ◽

Joao Marques-Silva

Download Full-text