EasyChair Smart SlideDocs/Log in
Author: Simon Schwarz

This page shows all presentations of this author published in EasyChair Smart Slide.

Exploring Partial Models with SCL

Exploring Partial Models with SCL

Martin Bromberger, Simon Schwarz and Christoph Weidenbach

SPASS-SATT a CDCL(LA) Solver (System Description)

SPASS-SATT a CDCL(LA) Solver (System Description)

Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair