An Empirical Study of Optimal Noise and Runtime Distributions in Local Search

DOI10.1007/978-3-642-14186-7_31zbMath1306.68163OpenAlexW1562498886MaRDI QIDQ4930603

Ashish Sabharwal, Lukas Kroc, Bart Selman

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_31

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Local search for Boolean satisfiability with configuration checking and subscore

Uses Software

• Walksat

This page was built for publication: An Empirical Study of Optimal Noise and Runtime Distributions in Local Search