Heuristic-Based Backtracking for Propositional Satisfiability. - Ateet Bhalla; Inês Lynce; José T. de Sousa; João Marques-Silva 001 (EPIA, 2003)

Heuristic Backtracking Algorithms for SAT. - Ateet Bhalla; Inês Lynce; José T. de Sousa; João Marques-Silva 001 (MTV, 2003)

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. - Ateet Bhalla; Inês Lynce; José T. de Sousa; João Marques-Silva 001 (J. Autom. Reason., 2005)