%0 Conference Paper %1 conf/cp/BejarCFMG01 %A Béjar, Ramón %A Cabiscol, Alba %A Fernández, Cèsar %A Manyà, Felip %A Gomes, Carla P. %B CP %D 2001 %E Walsh, Toby %I Springer %K dblp %P 137-152 %T Capturing Structure with Satisfiability. %U http://dblp.uni-trier.de/db/conf/cp/cp2001.html#BejarCFMG01 %V 2239 %@ 3-540-42863-1

@inproceedings{conf/cp/BejarCFMG01, added-at = {2017-05-17T00:00:00.000+0200}, author = {Béjar, Ramón and Cabiscol, Alba and Fernández, Cèsar and Manyà, Felip and Gomes, Carla P.}, biburl = {https://www.bibsonomy.org/bibtex/21c73ca2680842dbbf342c42618610325/dblp}, booktitle = {CP}, crossref = {conf/cp/2001}, editor = {Walsh, Toby}, ee = {https://doi.org/10.1007/3-540-45578-7_10}, interhash = {127fceb5d8c0825d889b75c3685d6906}, intrahash = {1c73ca2680842dbbf342c42618610325}, isbn = {3-540-42863-1}, keywords = {dblp}, pages = {137-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:00.000+0200}, title = {Capturing Structure with Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2001.html#BejarCFMG01}, volume = 2239, year = 2001 }