This page shows all presentations of this author published in EasyChair Smart Slide.
SPASS-SATT a CDCL(LA) Solver (System Description)
Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach