Skip to Main content Skip to Navigation
Book sections

Boosting Distance-Based Revision Using SAT Encodings

Sébastien Konieczny 1 Jean-Marie Lagniez 1 Pierre Marquis 1 
1 CRIL - Centre de Recherche en Informatique de Lens
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

UNIV-ARTOIS | CNRS | CRIL

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

9