EasyChair Smart SlideDocs/Log in
Author: Martina Seidl

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

QBFEVAL’18

QBFEVAL’18

Luca Pulina and Martina Seidl

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