The following publications are possibly variants of this publication:
- Heuristic-Based Backtracking for Propositional SatisfiabilityAteet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva. epia 2003: 116-130 [doi]
- Probing-Based Preprocessing Techniques for Propositional SatisfiabilityInês Lynce, João P. Marques Silva. ictai 2003: 105 [doi]
- Random backtracking in backtrack search algorithms for satisfiabilityInês Lynce, João P. Marques Silva. DAM, 155(12):1604-1612, 2007. [doi]
- An Overview of Backtrack Search Satisfiability AlgorithmsInês Lynce, João P. Marques Silva. AMAI, 37(3):307-326, 2003.