Restricted Branching in Clause Learning DPLL

Reference:

Matti Järvisalo. Restricted branching in clause learning DPLL. In Brahim Hnich and Kostas Stergiou, editors, Proceedings of the CP 2007 Doctoral Program, pages 55–60, 2007.

Suggested BibTeX entry:

@inproceedings{Jarvisalo:CP07DP,
    author = {Matti J\"arvisalo},
    booktitle = {Proceedings of the CP 2007 Doctoral Program},
    editor = {Brahim Hnich and Kostas Stergiou},
    pages = {55--60},
    title = {Restricted Branching in Clause Learning {DPLL}},
    year = {2007},
}