Cell formation in group technology using constraint programming and Boolean satisfiability - Soto, Ricardo; Kjellerstrand, Hakan; Durán, Orlando; Crawford, Broderick; Monfroy, Eric; Paredes, Fernando (Expert Systems with Applications, 2012)