To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT)

Bibliographic citation R. Bruttomesso, A. Cimatti, M.P. A. Franzen, A. Griggio, A. Santuari, R. Sebastiani, "To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT)" in Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, Berlin/Heidelberg: Springer, 2006, p. 557-571 -(Lecture Notes in Computer Science; 4246). - ISBN: 9783540482819. Proceedings of: LPAR 2006, Phnom Penh (Cambodia), 13th-17th November 2006. - URL: http://www.springerlink.com/content/4t1823urk0675361/fulltext.pdf . - DOI: 10.1007/11916277_38

Detail