Marc Pouly, Rolf Haenni, Michael Wachter. Compiling Solution Configurations in Semiring Valuation Systems. 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 248-259, Springer, 2007. [doi]
Abstract is missing.