Vadim Ryvchin, Ofer Strichman
Local Restarts
ICST, 2008.
@inproceedings{SAT-2008-RyvchinS, author = "Vadim Ryvchin and Ofer Strichman", booktitle = "{Proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/978-3-540-79719-7_25", isbn = "978-3-540-79718-0", pages = "271--276", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Local Restarts}", volume = 4996, year = 2008, }