Boosting distance-based revision using SAT encodings

DOI10.1007/978-3-662-55665-8_33zbMath1495.68210OpenAlexW2746287783MaRDI QIDQ1679786

Pierre Marquis, Jean-Marie Lagniez, Sébastien Konieczny

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_33

Mathematics Subject Classification ID

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

This page was built for publication: Boosting distance-based revision using SAT encodings