@inproceedings{
    JarvisaloJunttila:CP2007,
    editor = "Bessiere, Christian",
    author = {J\"arvisalo, Matti and Junttila, Tommi},
    publisher = "Springer",
    optmonth = "",
    title = "Limitations of Restricted Branching in Clause Learning",
    url = "http://dx.doi.org/10.1007/978-3-540-74970-7_26",
    series = "Lecture Notes in Computer Science",
    booktitle = "Principles and Practice of Constraint Programming -- CP 2007",
    optaddress = "Providence, RI, USA, September 23-27, 2007",
    volume = "4741",
    optorganization = "",
    year = "2007",
    pages = "348--363"
}