SATenstein: Automatically building local search SAT solvers from components

Designing high-performance solvers for computationally hard problems is a difficult and often time-consuming task. Although such design problems are traditionally solved by the application of human expertise, we argue instead for the use of automatic methods. In this work, we consider the design of...

Full description

Bibliographic Details

Published in:	Artificial intelligence Vol. 232; pp. 20 - 42
Main Authors:	KhudaBukhsh, Ashiqur R., Xu, Lin, Hoos, Holger H., Leyton-Brown, Kevin
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.03.2016
Subjects:	Algorithms Automatic algorithm configuration Automation Expert systems SAT Searching Solvers State of the art Stochastic local search Strategy Tasks Stochastic local search Automatic algorithm configuration SAT
ISSN:	0004-3702, 1872-7921
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!