% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Corzilius:561680,
author = {Corzilius, Florian and Kremer, Gereon and Junges, Sebastian
and Schupp, Stefan and Ábrahám, Erika},
title = {{SMT}-{RAT} : an {O}pen {S}ource {C}++ {T}oolbox for
{S}trategic and {P}arallel {SMT} {S}olving},
volume = {9340},
address = {Cham},
publisher = {Springer International Publishing},
reportid = {RWTH-2015-06984},
series = {Lecture Notes in Computer Science},
pages = {360-368},
year = {2015},
comment = {Theory and Applications of Satisfiability Testing : SAT
2015 ; 18th International Conference, Austin, TX, USA,
September 24-27, 2015, Proceedings / Marijn Heule ; Sean
Weaver [Hrsg.]},
booktitle = {Theory and Applications of
Satisfiability Testing : SAT 2015 ;
18th International Conference, Austin,
TX, USA, September 24-27, 2015,
Proceedings / Marijn Heule ; Sean
Weaver [Hrsg.]},
month = {Sep},
date = {2015-09-24},
organization = {International Conference on Theory and
Applications of Satisfiability Testing,
Austin, TX (USA), 24 Sep 2015 - 27 Sep
2015},
cin = {120000 / 123420 / 121330},
ddc = {004},
cid = {$I:(DE-82)120000_20140620$ / $I:(DE-82)123420_20140620$ /
$I:(DE-82)121330_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:000366019600026},
doi = {10.1007/978-3-319-24318-4_26},
url = {https://publications.rwth-aachen.de/record/561680},
}
guest ::