Guillermo De Ita Luna, Yolanda Moyao, Juan-Carlos Pérez, Josúe Pérez. Job Shop Scheduling via Disjunctive Boolean Formulas. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, R. Carolina Medina Ramírez, editors, Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012. Volume 911 of CEUR Workshop Proceedings, pages 41-50, CEUR-WS.org, 2012. [doi]
Abstract is missing.