Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year


Best Paper Award:
M. Bromberger, M. Fleury, S. Schwarz, C. Weidenbach.
SPASS-SATT: A CDCL(LA) Solver, in: 27th International Conference on Automated Deduction (CADE-27), Natal, Brazil, P. Fontaine (editor), Lecture Notes in Computer Science, 2019, vol. 11716, pp. 111-122. [ DOI : 10.1007/978-3-030-29436-6_7 ]