Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Browse the full AAAI paper archive.