%0 Generic %1 HoosStu00_1 %A Hoos, H. %A Stutzle, T. %B SAT2000 %D 2000 %E van Maaren I. P. Gent, H. %E Walsh, T. %I IOS Press %K multi-instancia %P 283-292 %T SATLIB: An Online Resource for Research on SAT

@conference{HoosStu00_1, added-at = {2008-12-11T10:57:36.000+0100}, author = {Hoos, H. and Stutzle, T.}, biburl = {https://www.bibsonomy.org/bibtex/20e34bc865f044e75fdd7208b35d4d39d/admase}, booktitle = {SAT2000}, description = {Bibliografía multiples instancias}, editor = {van Maaren I. P. Gent, H. and Walsh, T.}, interhash = {afd0d7b636ceb19935e35b6812a300f1}, intrahash = {0e34bc865f044e75fdd7208b35d4d39d}, keywords = {multi-instancia}, pages = {283-292}, publisher = {IOS Press}, timestamp = {2008-12-11T13:51:22.000+0100}, title = {SATLIB: An Online Resource for Research on SAT}, year = 2000 }