Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving.
Anna L. D. LatourBehrouz BabakiAnton DriesAngelika KimmigGuy Van den BroeckSiegfried NijssenPublished in: CP (2017)
Keyphrases
- constraint solving
- constraint optimization
- product configuration
- constraint satisfaction problems
- constraint satisfaction
- knowledge compilation
- constraint programming
- constraint propagation
- constraint networks
- decomposable negation normal form
- global constraints
- np complete
- search space
- combinatorial problems
- prime implicates
- np hard
- arc consistency
- phase transition
- monte carlo
- column generation
- machine learning
- heuristic search
- decision support
- computational complexity
- natural language
- database systems