Steven David Prestwich
Variable Dependency in Local Search: Prevention Is Better Than Cure
ICST, 2007.
@inproceedings{SAT-2007-Prestwich, author = "Steven David Prestwich", booktitle = "{Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/978-3-540-72788-0_14", isbn = "978-3-540-72787-3", pages = "107--120", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Variable Dependency in Local Search: Prevention Is Better Than Cure}", volume = 4501, year = 2007, }