3 citations · 9 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2017★ 2 cited
Constrained Bayesian Networks: Theory, Optimization, and Applications
Paul Beaumont, Michael Huth
We develop the theory and practice of an approach to modelling and probabilistic inference in causal networks that is suitable when application-specific or analysis-specific constr…
cs.AI2017★ 3 cited
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
Andrea Callia D'Iddio, Michael Huth
Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited abi…