@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},
}