%0 Journal Article %1 journals/amai/PurdomBS05 %A Purdom, Paul W. %A Berre, Daniel Le %A Simon, Laurent %D 2005 %J Ann. Math. Artif. Intell. %K dblp %N 1 %P 343-365 %T A parsimony tree for the SAT2002 competition. %U http://dblp.uni-trier.de/db/journals/amai/amai43.html#PurdomBS05 %V 43

@article{journals/amai/PurdomBS05, added-at = {2011-05-18T00:00:00.000+0200}, author = {Purdom, Paul W. and Berre, Daniel Le and Simon, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ae7505f169902f32867b9d177cea11ce/dblp}, ee = {http://dx.doi.org/10.1007/s10472-005-0431-7}, interhash = {557d01b4142d98fb9434e0cae5a8c1df}, intrahash = {ae7505f169902f32867b9d177cea11ce}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 1, pages = {343-365}, timestamp = {2016-02-02T09:13:46.000+0100}, title = {A parsimony tree for the SAT2002 competition.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai43.html#PurdomBS05}, volume = 43, year = 2005 }