6 citations · 13 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.SE2023★ 2 cited
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches
Pierre Bourhis, Laurence Duchien, Jérémie Dusart +3
Analyzing a Feature Model (FM) and reasoning on the corresponding configuration space is a central task in Software Product Line (SPL) engineering. Problems such as deciding the sa…