Esquivel Pinto, C. S. (2013). Computing Variable Orders for SAT-Problems. Master Thesis, Universität des Saarlandes, Saarbrücken.