Local Restarts

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

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

2008 ◽

pp. 271-276 ◽

Cited By ~ 10

Author(s):

Vadim Ryvchin ◽

Ofer Strichman

Download Full-text