Ateet Bhalla Inês Lynce José T. de Sousa João P. Marques Silva Heuristic Backtracking Algorithms for SAT. 69-74 2003 conf/mtv/2003 MTV http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450069abs.htm db/conf/mtv/mtv2003.html#BhallaLSM03