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

Celý popis

Podrobná bibliografie

Vydáno v:	Artificial intelligence Ročník 232; s. 20 - 42
Hlavní autoři:	KhudaBukhsh, Ashiqur R., Xu, Lin, Hoos, Holger H., Leyton-Brown, Kevin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.03.2016
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!