activity
20012023
most citedProceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints

4 citations · 6 across the 8 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.AI2014

Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem

Frédéric Lardeux, Eric Monfroy, Broderick Crawford +1

On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge S…