Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint.
Fabio TardivoLaurent MichelEnrico PontelliPublished in: CoRR (2024)
Keyphrases
- constraint propagation
- bin packing
- constraint solving
- finite domain
- constraint graph
- constraint solver
- constrained problems
- soft constraints
- constraint satisfaction problems
- temporal constraint satisfaction problems
- constraint programming
- constraint satisfaction
- constraint solvers
- graph colouring
- search tree
- temporal constraints
- constraint problems
- packing problem
- arc consistency
- search space
- quantifier elimination
- global constraints
- binary constraints
- path consistency
- combinatorial problems
- linear programming
- database systems
- constraint networks
- integer programming