EasyChair Smart SlideUser guide
Author: Christoph Weidenbach

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

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)

Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach

Getting Tenure in Automated Deduction

Getting Tenure in Automated Deduction

Christoph Weidenbach

SCL -- Clause Learning from Simple Models

SCL -- Clause Learning from Simple Models

Alberto Fiori 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: 8
Copyright © 2002 – 2026 EasyChair