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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Artificial intelligence Jg. 232; S. 20 - 42
Hauptverfasser:	KhudaBukhsh, Ashiqur R., Xu, Lin, Hoos, Holger H., Leyton-Brown, Kevin
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.03.2016
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!