2 papers
cs.AI2021
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…
cs.AI2006
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…