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