Pilar Pozos Parra, Verónica Borja Macías. Partial Satisfiability-Based Merging. In Alexander F. Gelbukh, Angel Fernando Kuri Morales, editors, MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings. Volume 4827 of Lecture Notes in Computer Science, pages 225-235, Springer, 2007. [doi]
Abstract is missing.