EasyChair Smart SlideUser guide
Author: Martin Bromberger

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

SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning

SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning

Martin Bromberger, Chaahat Jain and Christoph Weidenbach

An Isabelle/HOL Formalization of the SCL(FOL) Calculus

An Isabelle/HOL Formalization of the SCL(FOL) Calculus

Martin Bromberger, Martin Desharnais and Christoph Weidenbach

Exploring Partial Models with SCL

Exploring Partial Models with SCL

Martin Bromberger, Simon Schwarz and Christoph Weidenbach

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

Martin Bromberger, Lorenz Leutgeb 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

A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

Martin Bromberger

Presentations in this collection: 6
Copyright © 2002 – 2026 EasyChair