67 citations · 111 across the 9 of their papers we have counts for
1 paper · 1 filter
Christophe Lecoutre, Olivier Roussel
This document represents the proceedings of the 2018 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'18, the 24th International Confer…