Smt-Rat: An Open Source C++ Toolbox for Strategic and Parallel Smt Solving
Sep 24, 2015·,,
,·
0 min read
Florian Corzilius
Gereon Kremer
Sebastian Junges
Stefan Schupp
Erika Ábrahám
Type
Publication
Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule ; Sean Weaver [Hrsg.]
