@Article{JarvisaloJunttila:Constraints2009,
  author = 	 {J{\"a}rvisalo, Matti and Junttila, Tommi},
  title = 	 {Limitations of restricted branching in clause learning},
  journal = 	 {Constraints},
  year = 	 {2009},
  OPTkey = 	 {},
  volume = 	 {14},
  number = 	 {3},
  pages = 	 {325--356},
  OPTmonth = 	 sep,
  OPTurl =       {http://dx.doi.org/10.1007/s10601-008-9062-z},
}