MiniCP: a lightweight solver for constraint programming.
Laurent D. MichelPierre SchausPascal Van HentenryckPublished in: Math. Program. Comput. (2021)
Keyphrases
- lightweight
- constraint programming
- constraint solver
- constraint solvers
- constraint based pattern mining
- constraint solving
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- integer programming
- column generation
- np hard problems
- constraint logic programming
- constraint based mining
- finite domain
- search strategies
- symmetry breaking
- search heuristics
- global constraints
- dos attacks
- hard constraints
- soft constraints
- development environments
- wireless sensor networks
- constraint problems
- special case
- constraint optimization
- orders of magnitude