Jie-Hong Roland Jiang

3 papers · 2019–2026 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (10) 🚀 Conference Pioneer

Conferences

AAAI (3)

Top co-authors

Takeshi Tsukada (1) Ralf Wimmer (1) Aile Ge-Ernst (1) Che Cheng (1) Hiroshi Unno (1) Christoph Scholl (1) Tony Tan (1) Long-Hin Fung (1) Friedrich Slivovsky (1)

Keywords

quantified boolean formula (2) automated reasoning (1) model counting (1) pspace completeness (1) dependency quantified boolean formula (1) proof calculus (1) fork extension (1) quantifier localization (1) computational complexity (1) higher-order model checking (1)

Papers

Model Counting for Dependency Quantified Boolean Formulas AAAI 2026

Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019