Demo Data from SIGIR 2026 / reviewers in the wild / expert
Long-Hin Fung
dblp:353/7553
· DBLP profile ↗
4ranked-venue papers
3as first author
4since 2021 · last 2026
0009-0004-0972-9188ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 first-author · 3 since 2021Theory of computation · 3 · 2 first-author · 3 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 75% Computational complexity · 25% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
counting complexity |
1.0 | 1 | 2026 | Model Counting for Dependency Quantified Boolean Formulas · AAAI 2026 |
Automated reasoning and model checking › satisfiability
dependency quantified boolean formula |
1.0 | 1 | 2026 | Model Counting for Dependency Quantified Boolean Formulas · AAAI 2026 |
Automated reasoning and model checking › satisfiability
quantified boolean formula |
1.0 | 1 | 2026 | Model Counting for Dependency Quantified Boolean Formulas · AAAI 2026 |
Automated reasoning and model checking › model checking
symbolic model checking |
1.0 | 1 | 2026 | Model Counting for Dependency Quantified Boolean Formulas · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
symbolic model checking · 1.0propositional model counting · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Model Counting for Dependency Quantified Boolean FormulasabstractDependency Quantified Boolean Formulas (DQBF) generalize QBF by explicitly specifying which universal variables each existential variable depends on, instead of relying on a linear quantifier order. The satisfiability problem of DQBF is NEXP-complete, and many hard problems can be succinctly encoded as DQBF. Recent work has revealed a strong analogy between DQBF and SAT: k-DQBF (with k existential variables) is a succinct form of k-SAT, and satisfiability is NEXP-complete for 3-DQBF but PSPACE-complete for 2-DQBF, mirroring the complexity gap between 3-SAT (NP-complete) and 2-SAT (NL-complete). Motivated by this analogy, we study the model counting problem for DQBF, denoted #DQBF. Our main theoretical result is that #2-DQBF is #EXP-complete, where #EXP is the exponential-time analogue of #P. This parallels Valiant's classical theorem stating that #2-SAT is #P-complete. As a direct application, we show that first-order model counting (FOMC) remains #EXP-complete even when restricted to a PSPACE-decidable fragment of first-order logic and domain size two. Building on recent successes in reducing 2-DQBF satisfiability to symbolic model checking, we develop a dedicated 2-DQBF model counter. Using a diverse set of crafted instances, we experimentally evaluated it against a baseline that expands 2-DQBF formulas into propositional formulas and applies propositional model counting. While the baseline worked well when each existential variable depends on few variables, our implementation scaled significantly better to larger dependency sets. Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
AAAI | 1 |
| 2025 | Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas
Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
SAT | 2 |
| 2024 | 2-DQBF Solving and Certification via Property-Directed Reachability Analysis
Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang |
FMCAD | 1 |
| 2023 | On the Complexity of k-DQBF
Long-Hin Fung, Tony Tan |
SAT | 1 |