Limitations of Restricted Branching in Clause Learning

Reference:

Matti Järvisalo and Tommi Junttila. Limitations of restricted branching in clause learning. In Christian Bessiere, editor, Principles and Practice of Constraint Programming – CP 2007, volume 4741 of Lecture Notes in Computer Science, pages 348–363. Springer, 2007.

Suggested BibTeX entry:

@inproceedings{JarvisaloJunttila:CP2007,
    author = {Matti J\"arvisalo and Tommi Junttila},
    booktitle = {Principles and Practice of Constraint Programming -- CP 2007},
    editor = {Christian Bessiere},
    pages = {348--363},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Limitations of Restricted Branching in Clause Learning},
    volume = {4741},
    year = {2007},
}