Restoring CSP Satisfiability with MaxSAT
From MaRDI portal
Publication:3100180
DOI10.3233/FI-2011-402zbMath1230.68181MaRDI QIDQ3100180
Inês Lynce, João P. Marques-Silva
Publication date: 22 November 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
constraint satisfaction problems; maximum satisfiability; minimal set of unsatisfiable tuples; minimal unsatisfiable cores
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)