h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Corzilius, Florian
%A Kremer, Gereon
%A Junges, Sebastian
%A Schupp, Stefan
%A Ábrahám, Erika
%T SMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving
%V 9340
%C Cham
%I Springer International Publishing
%M RWTH-2015-06984
%B Lecture Notes in Computer Science
%P 360-368
%D 2015
%< Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule ; Sean Weaver [Hrsg.]
%B International Conference on Theory and Applications of Satisfiability Testing
%C 24 Sep 2015 - 27 Sep 2015, Austin, TX (USA)
Y2 24 Sep 2015 - 27 Sep 2015
M2 Austin, TX, USA
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:000366019600026
%R 10.1007/978-3-319-24318-4_26
%U https://publications.rwth-aachen.de/record/561680