Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}
