Skip to Main content Skip to Navigation
Book sections

Boosting Distance-Based Revision Using SAT Encodings

Document type :
Book sections
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03704848
Contributor : Daniel Le Berre Connect in order to contact the contributor
Submitted on : Sunday, June 26, 2022 - 11:05:00 AM
Last modification on : Sunday, June 26, 2022 - 5:35:22 PM

Identifiers

Collections

Citation

Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis. Boosting Distance-Based Revision Using SAT Encodings. Logic, Rationality, and Interaction, 10455, Springer Berlin Heidelberg, pp.480-496, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-55665-8_33⟩. ⟨hal-03704848⟩

Share

Metrics

Record views

9