%0 Conference Paper %1 conf/sat/BerreS04 %A Berre, Daniel Le %A Simon, Laurent %B SAT (Selected Papers %D 2004 %E Hoos, Holger H. %E Mitchell, David G. %I Springer %K dblp %P 321-344 %T Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. %U http://dblp.uni-trier.de/db/conf/sat/sat2004lncs.html#BerreS04 %V 3542 %@ 3-540-27829-X

@inproceedings{conf/sat/BerreS04, added-at = {2024-05-30T00:00:00.000+0200}, author = {Berre, Daniel Le and Simon, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2ca1b7b521451c7760012dea0b4d946e5/dblp}, booktitle = {SAT (Selected Papers}, crossref = {conf/sat/2004lncs}, editor = {Hoos, Holger H. and Mitchell, David G.}, ee = {https://doi.org/10.1007/11527695_25}, interhash = {73ea5bb4ad0cc1f64ec72ca449a45e35}, intrahash = {ca1b7b521451c7760012dea0b4d946e5}, isbn = {3-540-27829-X}, keywords = {dblp}, pages = {321-344}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-03T07:20:21.000+0200}, title = {Fifty-Five Solvers in Vancouver: The SAT 2004 Competition.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004lncs.html#BerreS04}, volume = 3542, year = 2004 }