Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
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…
cs.AI2024
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…
cs.AI2023
Proceedings of the 2023 XCSP3 Competition
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
This document represents the proceedings of the 2023 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'23 (the 29th International Confer…