2 papers
cs.LG2022
A Computational Model for Logical Analysis of Data
Danièle Gardy, Frédéric Lardeux, Frédéric Saubion
Initially introduced by Peter Hammer, Logical Analysis of Data is a methodology that aims at computing a logical justification for dividing a group of data in two groups of observa…
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…