Publication:4576242
From MaRDI portal
DOI10.3233/978-1-61499-672-9-1194zbMath1403.68241MaRDI QIDQ4576242
Frédéric Koriche, Emmanuel Lonca, Daniel Le Berre, Pierre Marquis
Publication date: 12 July 2018
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)