@inproceedings{
    Jarvisalo:CP07DP,
    editor = "Hnich, Brahim and Stergiou, Kostas",
    author = {J\"arvisalo, Matti},
    title = "Restricted Branching in Clause Learning {DPLL}",
    url = "http://willow.engr.uconn.edu/CP2007/DP-proc 2007.pdf",
    booktitle = "Proceedings of the CP 2007 Doctoral Program",
    flags = "ACPT public",
    year = "2007",
    pages = "55--60"
}