%0 Journal Article %1 journals/amai/SimonBH05 %A Simon, Laurent %A Berre, Daniel Le %A Hirsch, Edward A. %D 2005 %J Ann. Math. Artif. Intell. %K dblp %N 1 %P 307-342 %T The SAT2002 competition. %U http://dblp.uni-trier.de/db/journals/amai/amai43.html#SimonBH05 %V 43

@article{journals/amai/SimonBH05, added-at = {2011-05-18T00:00:00.000+0200}, author = {Simon, Laurent and Berre, Daniel Le and Hirsch, Edward A.}, biburl = {https://www.bibsonomy.org/bibtex/2a64bb744921b0b6092ce27f4ede40757/dblp}, ee = {http://dx.doi.org/10.1007/s10472-005-0424-6}, interhash = {666ede1f09b06d4a865d55a6edf70026}, intrahash = {a64bb744921b0b6092ce27f4ede40757}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 1, pages = {307-342}, timestamp = {2011-05-19T11:37:54.000+0200}, title = {The SAT2002 competition.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai43.html#SimonBH05}, volume = 43, year = 2005 }