Mostrar el registro sencillo del ítem
Cell formation in group technology using constraint programming and Boolean satisfiability
dc.contributor.author | Soto R. | |
dc.contributor.author | Kjellerstrand H. | |
dc.contributor.author | Durán O. | |
dc.contributor.author | Crawford B. | |
dc.contributor.author | Monfroy E. | |
dc.contributor.author | Paredes F. | |
dc.date.accessioned | 2020-09-02T22:28:46Z | |
dc.date.available | 2020-09-02T22:28:46Z | |
dc.date.issued | 2012 | |
dc.identifier | 10.1016/j.eswa.2012.04.020 | |
dc.identifier.citation | 39, 13, 11423-11427 | |
dc.identifier.issn | 09574174 | |
dc.identifier.uri | https://hdl.handle.net/20.500.12728/6338 | |
dc.description | Cell formation consists in organizing a plant as a set of cells, each of them containing machines that process similar types or families of parts. The idea is to minimize the part flow among cells in order to reduce costs and increase productivity. The literature presents different approaches devoted to solve this problem, which are mainly based on mathematical programming and on evolutionary computing. Mathematical programming can guarantee a global optimal solution, however at a higher computational cost than an evolutionary algorithm, which can assure a good enough optimum in a fixed amount of time. In this paper, we model and solve this problem by using state-of-the-art constraint programming (CP) techniques and Boolean satisfiability (SAT) technology. We present different experimental results that demonstrate the efficiency of the proposed optimization models. Indeed, CP and SAT implementations are able to reach the global optima in all tested instances and in competitive runtime. © 2012 Elsevier Ltd. All rights reserved. | |
dc.language.iso | en | |
dc.subject | Boolean satisfiability | |
dc.subject | Constraint programming | |
dc.subject | Machine grouping | |
dc.subject | Manufacturing cells | |
dc.subject | A plants | |
dc.subject | Boolean satisfiability | |
dc.subject | Cell formation | |
dc.subject | Computational costs | |
dc.subject | Constraint programming | |
dc.subject | Evolutionary computing | |
dc.subject | Global optimal solutions | |
dc.subject | Globaloptimum | |
dc.subject | Machine grouping | |
dc.subject | Optimization models | |
dc.subject | Runtimes | |
dc.subject | Computer programming | |
dc.subject | Constraint theory | |
dc.subject | Group technology | |
dc.subject | Mathematical programming | |
dc.subject | Cellular manufacturing | |
dc.title | Cell formation in group technology using constraint programming and Boolean satisfiability | |
dc.type | Article |