
Cell formation in group technology using constraint programming and Boolean satisfiability
Keywords: برنامه نویسی محدود، برنامهریزی محدودیت ; Manufacturing cells; Machine grouping; Constraint programming; Boolean satisfiability