Author:
Meier Andreas,Sorge Volker
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference29 articles.
1. Alur, R. and Peled, D. (eds.): Proc. of Computer Aided Verification, 16th International Conference, CAV 2004, Vol. 3114 of LNCS, Springer, 2004.
2. Audemard, G., Bertoli, P., Cimatti, A., Korniowicz, A. and Sebastiani, R.: Integrating Boolean and mathematical solving: foundations, basic algorithms and requirements, in Proc. of CALCULEMUS-2002, Vol. 2385 of LNAI, 2002.
3. Barrett, C. and Berezin, S.: CVC Lite: A New Implementation of the Cooperating Validity Checker, in [1], 2004, pp. 515–518.
4. Colton, S.: The HR program for theorem generation, in [23], 2002.
5. Colton, S., Meier, A., Sorge, V. and McCasland, R.: Automatic generation of classification theorems for finite algebras, in Proc. of IJCAR 2004, Vol. 3097 of LNAI, 2004, pp. 400–414. Springer.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献