Frédéric Lardeux, Eric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro. SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. In Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos A. Reyes GarcÃa, editors, MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings. Volume 5845 of Lecture Notes in Computer Science, pages 360-371, Springer, 2009. [doi]
Abstract is missing.