Algorithms and Computation

DOI10.1007/11602613zbMath1175.68542OpenAlexW2304246803MaRDI QIDQ5897915

Vilhelm Dahllöf

Publication date: 14 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11602613

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Nonnumerical algorithms (68W05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Leprechauns on the chessboard ⋮ Improved algorithms for the general exact satisfiability problem