Author:
Piskac Ruzica,de Moura Leonardo,Bjørner Nikolaj
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference23 articles.
1. Andersen, H.R., Hulgaard, H.: Boolean expression diagrams. Inf. Comput. 179(2), 194–212 (2002)
2. Baumgartner, P.: Logical engineering with instance-based methods. In: Pfenning, F. (ed.) Automated Deduction—CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, 17–20 July, 2007, Proceedings. Lecture Notes in Computer Science, vol. 4603, pp. 404–409. Springer (2007)
3. Baumgartner, P., Fuchs, A., Tinelli, C.: Implementing the model evolution calculus. Int. J. Artif. Intell. Tools 15(1), 21–52 (2006)
4. Baumgartner, P., Fuchs, A., Tinelli, C.: Lemma learning in the model evolution calculus. In: Hermann, M., Voronkov, A. (eds.) LPAR. Lecture Notes in Computer Science, vol. 4246, pp. 572–586. Springer, New York (2006)
5. Baumgartner, P., Tinelli, C.: The model evolution calculus as a first-order DPLL method. Artif. Intell. 172(4–5), 591–632 (2008)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献