@article{
    JarvisaloJunttila:Constraints2009,
    author = {J{\"a}rvisalo, Matti and Junttila, Tommi},
    optmonth = "September",
    title = "Limitations of restricted branching in clause learning",
    url = "http://dx.doi.org/10.1007/s10601-008-9062-z",
    journal = "Constraints",
    corerank = "A",
    number = "3",
    volume = "14",
    flags = "copy DC",
    optkey = "",
    year = "2009",
    pages = "325--356"
}