Eintrag weiter verarbeiten
The Configurable SAT Solver Challenge (CSSC)
Gespeichert in:
Zeitschriftentitel: | Artificial Intelligence |
---|---|
Personen und Körperschaften: | , , , , , |
In: | Artificial Intelligence, 243, 2017, S. 1-25 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |
author_facet |
Hutter, Frank Lindauer, Marius Balint, Adrian Bayless, Sam Hoos, Holger Leyton-Brown, Kevin Hutter, Frank Lindauer, Marius Balint, Adrian Bayless, Sam Hoos, Holger Leyton-Brown, Kevin |
---|---|
author |
Hutter, Frank Lindauer, Marius Balint, Adrian Bayless, Sam Hoos, Holger Leyton-Brown, Kevin |
spellingShingle |
Hutter, Frank Lindauer, Marius Balint, Adrian Bayless, Sam Hoos, Holger Leyton-Brown, Kevin Artificial Intelligence The Configurable SAT Solver Challenge (CSSC) Artificial Intelligence Linguistics and Language Language and Linguistics |
author_sort |
hutter, frank |
spelling |
Hutter, Frank Lindauer, Marius Balint, Adrian Bayless, Sam Hoos, Holger Leyton-Brown, Kevin 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/j.artint.2016.09.006 The Configurable SAT Solver Challenge (CSSC) Artificial Intelligence |
doi_str_mv |
10.1016/j.artint.2016.09.006 |
facet_avail |
Online Free |
finc_class_facet |
Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen Informatik |
format |
ElectronicArticle |
fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDE2LjA5LjAwNg |
id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDE2LjA5LjAwNg |
institution |
DE-D275 DE-Bn3 DE-Brt1 DE-Zwi2 DE-D161 DE-Gla1 DE-Zi4 DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 |
imprint |
Elsevier BV, 2017 |
imprint_str_mv |
Elsevier BV, 2017 |
issn |
0004-3702 |
issn_str_mv |
0004-3702 |
language |
English |
mega_collection |
Elsevier BV (CrossRef) |
match_str |
hutter2017theconfigurablesatsolverchallengecssc |
publishDateSort |
2017 |
publisher |
Elsevier BV |
recordtype |
ai |
record_format |
ai |
series |
Artificial Intelligence |
source_id |
49 |
title |
The Configurable SAT Solver Challenge (CSSC) |
title_unstemmed |
The Configurable SAT Solver Challenge (CSSC) |
title_full |
The Configurable SAT Solver Challenge (CSSC) |
title_fullStr |
The Configurable SAT Solver Challenge (CSSC) |
title_full_unstemmed |
The Configurable SAT Solver Challenge (CSSC) |
title_short |
The Configurable SAT Solver Challenge (CSSC) |
title_sort |
the configurable sat solver challenge (cssc) |
topic |
Artificial Intelligence Linguistics and Language Language and Linguistics |
url |
http://dx.doi.org/10.1016/j.artint.2016.09.006 |
publishDate |
2017 |
physical |
1-25 |
description |
|
container_start_page |
1 |
container_title |
Artificial Intelligence |
container_volume |
243 |
format_de105 |
Article, E-Article |
format_de14 |
Article, E-Article |
format_de15 |
Article, E-Article |
format_de520 |
Article, E-Article |
format_de540 |
Article, E-Article |
format_dech1 |
Article, E-Article |
format_ded117 |
Article, E-Article |
format_degla1 |
E-Article |
format_del152 |
Buch |
format_del189 |
Article, E-Article |
format_dezi4 |
Article |
format_dezwi2 |
Article, E-Article |
format_finc |
Article, E-Article |
format_nrw |
Article, E-Article |
_version_ |
1792337332506984450 |
geogr_code |
not assigned |
last_indexed |
2024-03-01T15:14:39.546Z |
geogr_code_person |
not assigned |
openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=The+Configurable+SAT+Solver+Challenge+%28CSSC%29&rft.date=2017-02-01&genre=article&issn=0004-3702&volume=243&spage=1&epage=25&pages=1-25&jtitle=Artificial+Intelligence&atitle=The+Configurable+SAT+Solver+Challenge+%28CSSC%29&aulast=Leyton-Brown&aufirst=Kevin&rft_id=info%3Adoi%2F10.1016%2Fj.artint.2016.09.006&rft.language%5B0%5D=eng |
SOLR | |
_version_ | 1792337332506984450 |
author | Hutter, Frank, Lindauer, Marius, Balint, Adrian, Bayless, Sam, Hoos, Holger, Leyton-Brown, Kevin |
author_facet | Hutter, Frank, Lindauer, Marius, Balint, Adrian, Bayless, Sam, Hoos, Holger, Leyton-Brown, Kevin, Hutter, Frank, Lindauer, Marius, Balint, Adrian, Bayless, Sam, Hoos, Holger, Leyton-Brown, Kevin |
author_sort | hutter, frank |
container_start_page | 1 |
container_title | Artificial Intelligence |
container_volume | 243 |
description | |
doi_str_mv | 10.1016/j.artint.2016.09.006 |
facet_avail | Online, Free |
finc_class_facet | Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen, Informatik |
format | ElectronicArticle |
format_de105 | Article, E-Article |
format_de14 | Article, E-Article |
format_de15 | Article, E-Article |
format_de520 | Article, E-Article |
format_de540 | Article, E-Article |
format_dech1 | Article, E-Article |
format_ded117 | Article, E-Article |
format_degla1 | E-Article |
format_del152 | Buch |
format_del189 | Article, E-Article |
format_dezi4 | Article |
format_dezwi2 | Article, E-Article |
format_finc | Article, E-Article |
format_nrw | Article, E-Article |
geogr_code | not assigned |
geogr_code_person | not assigned |
id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDE2LjA5LjAwNg |
imprint | Elsevier BV, 2017 |
imprint_str_mv | Elsevier BV, 2017 |
institution | DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161, DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229 |
issn | 0004-3702 |
issn_str_mv | 0004-3702 |
language | English |
last_indexed | 2024-03-01T15:14:39.546Z |
match_str | hutter2017theconfigurablesatsolverchallengecssc |
mega_collection | Elsevier BV (CrossRef) |
physical | 1-25 |
publishDate | 2017 |
publishDateSort | 2017 |
publisher | Elsevier BV |
record_format | ai |
recordtype | ai |
series | Artificial Intelligence |
source_id | 49 |
spelling | Hutter, Frank Lindauer, Marius Balint, Adrian Bayless, Sam Hoos, Holger Leyton-Brown, Kevin 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/j.artint.2016.09.006 The Configurable SAT Solver Challenge (CSSC) Artificial Intelligence |
spellingShingle | Hutter, Frank, Lindauer, Marius, Balint, Adrian, Bayless, Sam, Hoos, Holger, Leyton-Brown, Kevin, Artificial Intelligence, The Configurable SAT Solver Challenge (CSSC), Artificial Intelligence, Linguistics and Language, Language and Linguistics |
title | The Configurable SAT Solver Challenge (CSSC) |
title_full | The Configurable SAT Solver Challenge (CSSC) |
title_fullStr | The Configurable SAT Solver Challenge (CSSC) |
title_full_unstemmed | The Configurable SAT Solver Challenge (CSSC) |
title_short | The Configurable SAT Solver Challenge (CSSC) |
title_sort | the configurable sat solver challenge (cssc) |
title_unstemmed | The Configurable SAT Solver Challenge (CSSC) |
topic | Artificial Intelligence, Linguistics and Language, Language and Linguistics |
url | http://dx.doi.org/10.1016/j.artint.2016.09.006 |