%0 Conference Paper %1 conf/iberamia/AlsinetMP04 %A Alsinet, Teresa %A Manyà, Felip %A Planes, Jordi %B IBERAMIA %D 2004 %E Lemaître, Christian %E García, Carlos A. Reyes %E González, Jesús A. %I Springer %K dblp %P 334-342 %T A Max-SAT Solver with Lazy Data Structures. %U http://dblp.uni-trier.de/db/conf/iberamia/iberamia2004.html#AlsinetMP04 %V 3315 %@ 3-540-23806-9

@inproceedings{conf/iberamia/AlsinetMP04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Alsinet, Teresa and Manyà, Felip and Planes, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/2928588ebb81f7cc815dc84f0f6a73453/dblp}, booktitle = {IBERAMIA}, crossref = {conf/iberamia/2004}, editor = {Lemaître, Christian and García, Carlos A. Reyes and González, Jesús A.}, ee = {https://doi.org/10.1007/978-3-540-30498-2_34}, interhash = {fa28be9697aa9268902a7576bf7a634d}, intrahash = {928588ebb81f7cc815dc84f0f6a73453}, isbn = {3-540-23806-9}, keywords = {dblp}, pages = {334-342}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:09.000+0200}, title = {A Max-SAT Solver with Lazy Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/iberamia/iberamia2004.html#AlsinetMP04}, volume = 3315, year = 2004 }