Ramón Béjar, Cèsar Fernández, Francesc Guitart. Encoding Basic Arithmetic Operations for SAT-Solvers. In René Alquézar, Antonio Moreno, Josep Aguilar-Martin, editors, Artificial Intelligence Research and Development - Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence, l Espluga de Francolí, Tarragona, Spain, 20-22 October 2010. Volume 210 of Frontiers in Artificial Intelligence and Applications, pages 239-248, IOS Press, 2010. [doi]
Abstract is missing.