@INPROCEEDINGS{LeBras2012FromStreamlined,
  author = {{Le Bras}, Ronan and Gomes, Carla P. and Selman, Bart},
  title = {From Streamlined Combinatorial Search to Efficient Constructive Procedures},
  booktitle = {Proceedings of the 15th international conference on Artificial Intelligence},
  year = {2012},
  series = {AAAI'12},
  location = {Toronto, Canada}
}