Automatic construction of parallel portfolios via algorithm configuration

Since 2004, increases in computational power described by Moore's law have substantially been realized in the form of additional cores rather than through faster clock speeds. To make effective use of modern hardware when solving hard computational problems, it is therefore necessary to employ...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Artificial intelligence Jg. 244; S. 272 - 290
Hauptverfasser:	Lindauer, Marius, Hoos, Holger, Leyton-Brown, Kevin, Schaub, Torsten
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.03.2017 Elsevier Science Ltd
Schlagworte:	Algorithm configuration Algorithm portfolios Automated parallelization Combinatorial analysis Computation Configuration management Moore's law Parallel SAT solving Programming by optimization Solvers Algorithm portfolios Parallel SAT solving Programming by optimization Automated parallelization Algorithm configuration
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!