Author of the publication

Cell formation in group technology using constraint programming and Boolean satisfiability.

, , , , , and . Expert Syst. Appl., 39 (13): 11423-11427 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Picat-SAT Compiler., and . PADL, volume 9585 of Lecture Notes in Computer Science, page 48-62. Springer, (2016)Solving Manufacturing Cell Design Problems Using Constraint Programming., , , , , and . IEA/AIE, volume 7345 of Lecture Notes in Computer Science, page 400-406. Springer, (2012)Cell formation in group technology using constraint programming and Boolean satisfiability., , , , , and . Expert Syst. Appl., 39 (13): 11423-11427 (2012)Optimizing SAT Encodings for Arithmetic Constraints., and . CP, volume 10416 of Lecture Notes in Computer Science, page 671-686. Springer, (2017)