Guided Search and a Faster Deterministic Algorithm for 3-SAT
From MaRDI portal
Publication:5458517
DOI10.1007/978-3-540-78773-0_6zbMath1136.68521MaRDI QIDQ5458517
Publication date: 15 April 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78773-0_6
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Cites Work