Boosting Distance-Based Revision Using SAT Encodings - Archive ouverte HAL Access content directly
Book Sections Year : 2017

Boosting Distance-Based Revision Using SAT Encodings

(1) , (1) , (1)
1
Not file

Dates and versions

hal-03704848 , version 1 (26-06-2022)

Identifiers

Cite

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⟩
9 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More