%0 Conference Paper %1 conf/aaai/LeBrasGS12 %A LeBras, Ronan %A Gomes, Carla P. %A Selman, Bart %B AAAI %D 2012 %E Hoffmann, Jörg %E Selman, Bart %I AAAI Press %K dblp %T From Streamlined Combinatorial Search to Efficient Constructive Procedures. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2012.html#LeBrasGS12

@inproceedings{conf/aaai/LeBrasGS12, added-at = {2013-02-22T00:00:00.000+0100}, author = {LeBras, Ronan and Gomes, Carla P. and Selman, Bart}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bd4ecac8a0face4f9615497043cd4f7c/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2012}, editor = {Hoffmann, Jörg and Selman, Bart}, ee = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5170}, interhash = {ed3e7fd879ccb963c749abbb9dc29d59}, intrahash = {bd4ecac8a0face4f9615497043cd4f7c}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2016-02-02T13:18:39.000+0100}, title = {From Streamlined Combinatorial Search to Efficient Constructive Procedures.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2012.html#LeBrasGS12}, year = 2012 }