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...

Full description

Bibliographic Details

Published in:	Artificial intelligence Vol. 244; pp. 272 - 290
Main Authors:	Lindauer, Marius, Hoos, Holger, Leyton-Brown, Kevin, Schaub, Torsten
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.03.2017 Elsevier Science Ltd
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!