Ramesh Krishnamurti, Rajeev Kohli: Probabilistic Greedy Heuristics for Satisfiability Problems. Handbook of Approximation Algorithms and Metaheuristics 2007