Emmanuel Lonca

2 accepted papers

2026

Efficient Minimization of Decision-DNNF Circuits via Semantic Hashing and Provenance Tracking

Armin Biere, Jean-Marie Lagniez, Emmanuel Lonca

IJCAI 2026

Knowledge Compilation transforms propositional formulas into tractable structures like decision-DNNF to support efficient reasoning. However, these representations often suffer from exponential size, and standard minimization via SAT sweeping is computationally prohibitive for large instances. In th

Cited by 0 Scholar ↗

2026

Targeting in Multi-Criteria Decision Making

Nicolas Schwind, Patricia Everaere, Sébastien Konieczny, Emmanuel Lonca

AAAI 2026technical

In this work, we introduce the notion of targeting for multi-criteria decision making. The problem involves selecting the best alternatives related to one particular alternative, called the target. We use an axiomatic approach to this problem by establishing properties that any targeting method shou

Cited by 0 Source ↗PDF ↗Scholar ↗