%0 Conference Paper %1 conf/sat/ArgelichCLM09 %A Argelich, Josep %A Cabiscol, Alba %A Lynce, Inês %A Manyà, Felip %B SAT %D 2009 %E Kullmann, Oliver %I Springer %K dblp %P 161-166 %T Sequential Encodings from Max-CSP into Partial Max-SAT. %U http://dblp.uni-trier.de/db/conf/sat/sat2009.html#ArgelichCLM09 %V 5584 %@ 978-3-642-02776-5

@inproceedings{conf/sat/ArgelichCLM09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Argelich, Josep and Cabiscol, Alba and Lynce, Inês and Manyà, Felip}, biburl = {https://www.bibsonomy.org/bibtex/2f500ec8a6b0624000f3da04cfa84ca25/dblp}, booktitle = {SAT}, crossref = {conf/sat/2009}, editor = {Kullmann, Oliver}, ee = {https://doi.org/10.1007/978-3-642-02777-2_17}, interhash = {48eef89798760f06400813d8b43e9a41}, intrahash = {f500ec8a6b0624000f3da04cfa84ca25}, isbn = {978-3-642-02776-5}, keywords = {dblp}, pages = {161-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:52.000+0200}, title = {Sequential Encodings from Max-CSP into Partial Max-SAT.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2009.html#ArgelichCLM09}, volume = 5584, year = 2009 }