Cell formation in group technology using constraint programming and Boolean satisfiability.
Ricardo SotoHåkan KjellerstrandOrlando DuránBroderick CrawfordÉric MonfroyFernando ParedesPublished in: Expert Syst. Appl. (2012)
Keyphrases
- constraint programming
- symmetry breaking
- boolean satisfiability
- combinatorial problems
- cell formation
- constraint satisfaction problems
- constraint propagation
- global constraints
- constraint satisfaction
- integer programming
- search strategies
- arc consistency
- propositional satisfiability
- sat solvers
- search tree
- column generation
- sat problem
- graph coloring
- randomly generated
- search heuristics
- integer linear programming
- probabilistic planning
- manufacturing systems
- np complete
- special case
- combinatorial optimization
- optimal solution