An improved local search algorithm for 3-SAT
From MaRDI portal
Publication:3439130
DOI10.1016/j.endm.2004.03.021zbMath1152.68544OpenAlexW2009111160MaRDI QIDQ3439130
Walter Kern, Tobias Brueggemann
Publication date: 29 May 2007
Published in: Electronic Notes in Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/an-improved-local-search-algorithm-for-3sat(dd786856-36cb-40eb-806d-ca08c9d9f777).html
Search theory (90B40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation algorithms (68W25)
Related Items
Cites Work
This page was built for publication: An improved local search algorithm for 3-SAT