1. Biere, A.: P{re,i}coSAT@SC 2009. In: SAT 2009 competitive events booklet: preliminmary version, pp. 41–44 (2009)
2. Lecture Notes in Computer Science;N. Eén,2004
3. Ginsberg, M.L.: Dynamic backtracking. J. Artif. Int. Res. 1, 25–46 (1993)
4. Lecture Notes in Computer Science;C.P. Gomes,1997
5. Haim, S., Heule, M.J.H.: Towards ultra rapid restarts, Technical report, UNSW and TU Delft (2010),
http://www.st.ewi.tudelft.nl/~marijn/publications/rapid.pdf
,