%0 Conference Paper %1 conf/iccsa/Cruz-ChavezR07 %A Cruz-Chavez, Marco Antonio %A Rivera-López, Rafael %B ICCSA (3) %D 2007 %E Gervasi, Osvaldo %E Gavrilova, Marina L. %I Springer %K dblp %P 697-709 %T A Local Search Algorithm for a SAT Representation of Scheduling Problems. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2007-3.html#Cruz-ChavezR07 %V 4707 %@ 978-3-540-74482-5

@inproceedings{conf/iccsa/Cruz-ChavezR07, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cruz-Chavez, Marco Antonio and Rivera-López, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/2aa0f1de590f54decd1ee7d836edd8402/dblp}, booktitle = {ICCSA (3)}, crossref = {conf/iccsa/2007-3}, editor = {Gervasi, Osvaldo and Gavrilova, Marina L.}, ee = {https://doi.org/10.1007/978-3-540-74484-9_60}, interhash = {854d3b3d750c4e21edab7a158127692a}, intrahash = {aa0f1de590f54decd1ee7d836edd8402}, isbn = {978-3-540-74482-5}, keywords = {dblp}, pages = {697-709}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:31:49.000+0200}, title = {A Local Search Algorithm for a SAT Representation of Scheduling Problems.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2007-3.html#Cruz-ChavezR07}, volume = 4707, year = 2007 }