b'@inproceedings{Bromberger_CADE2019,'b'\nTITLE = {{SPASS-SATT}: {A CDCL(LA)} Solver},\nAUTHOR = {Bromberger, Martin and Fleury, Mathias and Schwarz, Simon and Weidenbach, Christoph},\nLANGUAGE = {eng},\nISSN = {0302-9743},\nISBN = {978-3-030-29435-9},\nDOI = {10.1007/978-3-030-29436-6_7},\nPUBLISHER = {Springer},\nYEAR = {2019},\nDATE = {2019},\nBOOKTITLE = {Automated Deduction -- CADE 27},\nEDITOR = {Fontaine, Pascal},\nPAGES = {111--122},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {11716},\nADDRESS = {Natal, Brazil},\n}\n'