Long-Hin Fung

According to our database, Long-Hin Fung authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Model Counting for Dependency Quantified Boolean Formulas.

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

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas.

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

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

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

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

On the Complexity of k-DQBF.

Long-Hin Fung, Tony Tan

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023