EasyChair Smart SlideDocs/Log in
Author: Jan Strejček

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

Deciding Satisfiability of Quantified Bitvector Formulae with BDDs

Deciding Satisfiability of Quantified Bitvector Formulae with BDDs

Jan Strejček and Jochen Hoenicke

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Tereza Schwarzová, Jan Strejček and Juraj Major

Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?

Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?

Martin Jonáš and Jan Strejček

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