Satisfiability of DQBF Using Binary Decision Diagrams

Satisfiability of DQBF Using Binary Decision Diagrams

Author

Juraj Síč
Masaryk University in Brno, Faculty of Informatics

Supervisor

doc. RNDr. Jan Strejček, Ph.D.

About the project

Year

2020

Share