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]
@article{LagoudakisL01,
title = {Learning to Select Branching Rules in the DPLL Procedure for Satisfiability},
author = {Michail G. Lagoudakis and Michael L. Littman},
year = {2001},
doi = {10.1016/S1571-0653(04)00332-4},
url = {http://dx.doi.org/10.1016/S1571-0653(04)00332-4},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/LagoudakisL01},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Discrete Mathematics},
volume = {9},
pages = {344-359},
}