EasyChair Smart SlideUser guide
Conference: PAAR 2022 (8th Workshop on Practical Aspects of Automated Reasoning)

This page shows all presentations from this conference published in EasyChair Smart Slide.

On SGGS and Horn Clauses

On SGGS and Horn Clauses

Maria Paola Bonacina and Sarah Winkler

Exploring Partial Models with SCL

Exploring Partial Models with SCL

Martin Bromberger, Simon Schwarz and Christoph Weidenbach

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers

Maximilian Heisinger, Martina Seidl and Armin Biere

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