Long-Hin Fung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Model Counting for Dependency Quantified Boolean Formulas. | Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
| 2025 | SAT | Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas. | Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
| 2024 | FMCAD | 2-DQBF Solving and Certification via Property-Directed Reachability Analysis. | Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang |
| 2023 | SAT | On the Complexity of k-DQBF. | Long-Hin Fung, Tony Tan |