Author:
Dutertre Bruno,Jovanović Dejan,Navas Jorge A.
Publisher
Springer International Publishing
Reference21 articles.
1. Barrett, C., Stump, A., Tinelli, C., et al.: The SMT-LIB standard: Version 2.0
2. Lecture Notes in Computer Science;A Bouajjani,2000
3. Boyer, R.S., Moore, J.S.: MJRTY-a fast majority vote algorithm. In: Boyer, R.S. (ed.) Automated Reasoning: Essays in Honor of Woody Blesdoe, vol. 1, pp. 105–117. Springer, Dordrecht (1991). https://doi.org/10.1007/978-94-011-3488-0_5
4. Lecture Notes in Computer Science;AR Bradley,2011
5. Lecture Notes in Computer Science;A Cimatti,2013
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献