Publisher
Springer International Publishing
Reference26 articles.
1. SV-comp repository. https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
2. Vampire website. https://vprover.github.io/
3. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (Eds.) Handbook of Automated Reasoning, vol. I, chap. 2, pp. 19–99. Elsevier Science (2001)
4. Lecture Notes in Computer Science;C Barrett,2011
5. Lecture Notes in Computer Science;S Chakraborty,2020