Publication:4409859

zbMath1020.68512MaRDI QIDQ4409859

Bertrand Mazure, Éric Grégoire, Lakhdar Saïs

Publication date: 1 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2443/24430051.htm

zbMATH Keywords

local search; minimal models; SAT; logic and AI

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Related Items

Local-search extraction of mUSes