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

Abstract Thesis

Year

Share