Inês Lynce João P. Marques Silva An Overview of Backtrack Search Satisfiability Algorithms. 307-326 2003 37 Ann. Math. Artif. Intell. 3 db/journals/amai/amai37.html#LynceS03 http://dx.doi.org/10.1023/A:1021264516079