Limitations of restricted branching in clause learning

Reference:

Matti Järvisalo and Tommi Junttila. Limitations of restricted branching in clause learning. Constraints, 14(3):325–356, 2009.

Suggested BibTeX entry:

@article{JarvisaloJunttila:Constraints2009,
    author = {Matti J{\"a}rvisalo and Tommi Junttila},
    journal = {Constraints},
    number = {3},
    pages = {325--356},
    title = {Limitations of restricted branching in clause learning},
    volume = {14},
    year = {2009},
}