16 citations · 39 across the 5 of their papers we have counts for
4 papers · 1 filter
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming
Fulya Trösser, Simon de Givry, George Katsirelos
Bayesian networks are probabilistic graphical models with a wide range of application areas including gene regulatory networks inference, risk analysis and image processing. Learni…
Tractability and Decompositions of Global Cost Functions
David Allouche, Christian Bessiere, Patrice Boizumault +8
Enforcing local consistencies in cost function networks is performed by applying so-called Equivalent Preserving Transformations (EPTs) to the cost functions. As EPTs transform the…
Bounds Arc Consistency for Weighted CSPs
Matthias Zytnicki, Christine Gaspin, Simon de Givry +1
The Weighted Constraint Satisfaction Problem (WCSP) framework allows representing and solving problems involving both hard constraints and cost functions. It has been applied to va…
A Logical Approach to Efficient Max-SAT solving
Javier Larrosa, Federico Heras, Simon de Givry
Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theor…