SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

Sorry, there's nothing here.
051015201520162017
Citations per Year

Citation Velocity: 7

Averaging 7 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Corzilius2015SMTRATAO, title={SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving}, author={Florian Corzilius and Gereon Kremer and Sebastian Junges and Stefan Schupp and Erika {\'A}brah{\'a}m}, booktitle={SAT}, year={2015} }