Up a level |
Number of items: 1.
Tan, Tony ORCID: 0009-0005-8341-2004 and Fung, Long-Hin
(2023)
On the complexity of k-DQBF.
In: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023).
Up a level |
Tan, Tony ORCID: 0009-0005-8341-2004 and Fung, Long-Hin
(2023)
On the complexity of k-DQBF.
In: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023).
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000