Learning to Select Branching Rules in the DPLL Procedure for Satisfiability

Michail G. Lagoudakis, Michael L. Littman. Learning to Select Branching Rules in the DPLL Procedure for Satisfiability. Electronic Notes in Discrete Mathematics, 9:344-359, 2001. [doi]

Abstract

Abstract is missing.