%0 Conference Paper %1 conf/cade/BrombergerFSW19 %A Bromberger, Martin %A Fleury, Mathias %A Schwarz, Simon %A Weidenbach, Christoph %B CADE %D 2019 %E Fontaine, Pascal %I Springer %K dblp %P 111-122 %T SPASS-SATT - A CDCL(LA) Solver. %U http://dblp.uni-trier.de/db/conf/cade/cade2019.html#BrombergerFSW19 %V 11716 %@ 978-3-030-29436-6

@inproceedings{conf/cade/BrombergerFSW19, added-at = {2019-08-21T00:00:00.000+0200}, author = {Bromberger, Martin and Fleury, Mathias and Schwarz, Simon and Weidenbach, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/224cf68ea0d94a2cff211fd184cde9354/dblp}, booktitle = {CADE}, crossref = {conf/cade/2019}, editor = {Fontaine, Pascal}, ee = {https://doi.org/10.1007/978-3-030-29436-6_7}, interhash = {1f70b83f923efa0ce4fe406dbc22c352}, intrahash = {24cf68ea0d94a2cff211fd184cde9354}, isbn = {978-3-030-29436-6}, keywords = {dblp}, pages = {111-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:32.000+0200}, title = {SPASS-SATT - A CDCL(LA) Solver.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2019.html#BrombergerFSW19}, volume = 11716, year = 2019 }