Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas.

Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan

Browse the full SAT paper archive.