%0 Conference Paper %1 conf/sat/ArgelichLM08 %A Argelich, Josep %A Li, Chu Min %A Manyà, Felip %B SAT %D 2008 %E Büning, Hans Kleine %E Zhao, Xishun %I Springer %K dblp %P 15-20 %T A Preprocessor for Max-SAT Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2008.html#ArgelichLM08 %V 4996 %@ 978-3-540-79718-0

@inproceedings{conf/sat/ArgelichLM08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Argelich, Josep and Li, Chu Min and Manyà, Felip}, biburl = {https://www.bibsonomy.org/bibtex/2de190baf75fba307d851e7fbc619bfba/dblp}, booktitle = {SAT}, crossref = {conf/sat/2008}, editor = {Büning, Hans Kleine and Zhao, Xishun}, ee = {https://doi.org/10.1007/978-3-540-79719-7_2}, interhash = {cfd73f7056705039ace8577444f2d324}, intrahash = {de190baf75fba307d851e7fbc619bfba}, isbn = {978-3-540-79718-0}, keywords = {dblp}, pages = {15-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:01.000+0200}, title = {A Preprocessor for Max-SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2008.html#ArgelichLM08}, volume = 4996, year = 2008 }