Note on strong refutation algorithms for random k-SAT formulas
From MaRDI portal
Publication:2840534
DOI10.1016/j.endm.2009.11.027zbMath1268.68085MaRDI QIDQ2840534
Hiệp Hàn, Mathias Schacht, Yury Person
Publication date: 19 July 2013
Published in: Electronic Notes in Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.endm.2009.11.027
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Cites Work