16 citations · 39 across the 5 of their papers we have counts for
6 papers
Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective
Tomáš Dlask, Tomáš Werner, Simon de Givry
The notion of reparametrizations of Weighted CSPs (WCSPs) (also known as equivalence-preserving transformations of WCSPs) is well-known and finds its use in many algorithms to appr…
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…
Exact and approximate inference in graphical models: variable elimination and beyond
Nathalie Peyrard, Marie-Josée Cros, Simon de Givry +5
Probabilistic graphical models offer a powerful framework to account for the dependence structure between variables, which is represented as a graph. However, the dependence betwee…
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…