Author:
de Moura Leonardo,Bjørner Nikolaj
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Bjørner, N., de Moura, L.: $\mbox{Z3}^{10}$ : Applications, Enablers, Challenges and Directions. In: CFV (2009)
2. Barrett, C., de Moura, L., Stump, A.: Design and Results of the 1st Satisfiability Modulo Theories Competition. JAR (2005)
3. McCarthy, J.: Towards a mathematical science of computation. In: IFIP Congress, pp. 21–28 (1962)
4. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM (1962)
5. Marques-Silva, J.P., Sakallah, K.A.: GRASP - A New Search Algorithm for Satisfiability. In: ICCAD (1996)
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献