Michail G. Lagoudakis, Michael L. Littman
Learning to Select Branching Rules in the DPLL Procedure for Satisfiability
ICST, 2001.
@article{SAT-2001-LagoudakisL,
author = "Michail G. Lagoudakis and Michael L. Littman",
doi = "10.1016/S1571-0653(04)00332-4",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "344--359",
title = "{Learning to Select Branching Rules in the DPLL Procedure for Satisfiability}",
volume = 9,
year = 2001,
}