Antonio Ramos, Peter van der Tak, Marijn Heule
Between Restarts and Backjumps
ICST, 2011.
@inproceedings{SAT-2011-RamosTH,
author = "Antonio Ramos and Peter van der Tak and Marijn Heule",
booktitle = "{Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing}",
doi = "10.1007/978-3-642-21581-0_18",
isbn = "978-3-642-21580-3",
pages = "216--229",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Between Restarts and Backjumps}",
volume = 6695,
year = 2011,
}