Analyzing Walksat on Random Formulas
From MaRDI portal
Publication:2929704
DOI10.1137/12090191XzbMath1358.68268arXiv1106.0120WikidataQ57401416 ScholiaQ57401416MaRDI QIDQ2929704
Amin Coja-Oghlan, Alan M. Frieze
Publication date: 14 November 2014
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.0120
68W40: Analysis of algorithms
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)