Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas

Journal

Leibniz International Proceedings in Informatics Lipics

Series/Report No.

Leibniz International Proceedings in Informatics Lipics

Journal Volume

341

ISBN

[9783959773812]

Date Issued

2025-08-07

Author(s)

Cheng C.

Fung, Long-Hin

Slivovsky, Friedrich

Tan, Tony

URI

Type

conference paper