Industrial Application of External Black-Box Functions in Constraint Programming Solver.
Vladimir SidorovVitaly TelermanPublished in: Ershov Memorial Conference (2003)
Keyphrases
- black box
- constraint programming
- industrial applications
- constraint solver
- combinatorial problems
- constraint solvers
- constraint satisfaction problems
- constraint solving
- constraint propagation
- constraint satisfaction
- white box
- constraint based pattern mining
- black boxes
- search strategies
- search heuristics
- constraint logic programming
- propositional satisfiability
- symmetry breaking
- global constraints
- hard and soft constraints
- finite domain
- integration testing
- np hard problems
- white box testing
- test cases
- itemset mining
- constraint optimization
- arc consistency