EasyChair Smart SlideDocs/Log in
Author: Max Heisinger

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

Validation of QBF Encodings with Winning Strategies

Validation of QBF Encodings with Winning Strategies

Irfansha Shaik, Maximilian Heisinger, Martina Seidl and Jaco van de Pol

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

Dealing with Uncertainty Between Peers and Having the Best of Times with Distributed Systems

Dealing with Uncertainty Between Peers and Having the Best of Times with Distributed Systems

Max Heisinger

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