8 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.AI2013★ 1 cited
Solving WCSP by Extraction of Minimal Unsatisfiable Cores
Christophe Lecoutre, Nicolas Paris, Olivier Roussel +1
Usual techniques to solve WCSP are based on cost transfer operations coupled with a branch and bound algorithm. In this paper, we focus on an approach integrating extraction and re…
cs.AI2009★ 8 cited
XML Representation of Constraint Networks: Format XCSP 2.1
Olivier Roussel, Christophe Lecoutre
We propose a new extended format to represent constraint networks using XML. This format allows us to represent constraints defined either in extension or in intension. It also all…