From the 1 of 4 linked papers with an AI index.
4 papers
Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing
Jean Marie Lagniez, Emmanuel Lonca
The paper studies preprocessing methods that preserve model counts to speed up uniform sampling, direct model access, and enumeration of models for CNF formulas compiled into d-DNN…
Explanation Quality Assessment as Ranking with Listwise Rewards
Thomas Bailleux, Tanmoy Mukherjee, Emmanuel Lonca +2
We reformulate explanation quality assessment as a ranking problem rather than a generation problem. Instead of optimizing models to produce a single "best" explanation token-by-to…
Proceedings of the 2025 XCSP3 Competition
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
This document represents the proceedings of the 2025 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'25 (31st International Conference…
Proceedings of the 2024 XCSP3 Competition
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
This document represents the proceedings of the 2024 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'24 (30th International Conference…