Smtlink 2.0

Journal Category

Science

Mathematics

Instruments and machines

Electronic computers

Computer science

Title	Journal	Journal Categories	Citations	Publication Date
Extending ACL2 with SMT Solvers				2015
Yices 2.2				2014
Extending Sledgehammer with SMT Solvers	Journal of Automated Reasoning	Science: Mathematics: Instruments and machines: Electronic computers. Computer science Science: Mathematics: Instruments and machines: Electronic computers. Computer science	32	2013
Z3: An Efficient SMT Solver				2008
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite	Electronic Notes in Theoretical Computer Science		11	2006

Title	Journal	Journal Categories	Citations	Publication Date
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications	Electronic Proceedings in Theoretical Computer Science	Science: Mathematics: Instruments and machines: Electronic computers. Computer science		2020

Category	Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science	1

The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications and was published in 2020. The most recent citation comes from a 2020 study titled Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications. This article reached its peak citation in 2020, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.