%0 Journal Article %1 journals/ai/HutterLBBHL17 %A Hutter, Frank %A Lindauer, Marius %A Balint, Adrian %A Bayless, Sam %A Hoos, Holger H. %A Leyton-Brown, Kevin %D 2017 %J Artif. Intell. %K %P 1-25 %T The Configurable SAT Solver Challenge (CSSC). %U http://dblp.uni-trier.de/db/journals/ai/ai243.html#HutterLBBHL17 %V 243

@article{journals/ai/HutterLBBHL17, added-at = {2023-12-12T21:15:17.000+0100}, author = {Hutter, Frank and Lindauer, Marius and Balint, Adrian and Bayless, Sam and Hoos, Holger H. and Leyton-Brown, Kevin}, biburl = {https://www.bibsonomy.org/bibtex/25fed7f601d71128ef3e6e4459dd94da2/admin}, ee = {https://www.wikidata.org/entity/Q59585860}, interhash = {3b65e09d9ca1def7afc2369105966c9d}, intrahash = {5fed7f601d71128ef3e6e4459dd94da2}, journal = {Artif. Intell.}, keywords = {}, pages = {1-25}, timestamp = {2023-12-12T21:15:17.000+0100}, title = {The Configurable SAT Solver Challenge (CSSC).}, url = {http://dblp.uni-trier.de/db/journals/ai/ai243.html#HutterLBBHL17}, volume = 243, year = 2017 }