Satisfiability of DQBF Using Binary Decision Diagrams

Satisfiability of DQBF Using Binary Decision Diagrams

Author

Juraj Síč

Supervisor

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

About the project

Abstract Thesis

Year

2020

Share