Jie-Hong R. Jiang

10 papers · 2017–2024 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+2 more ↓

🌉 Interdisciplinary Bridge · Gold 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (14) 🐣 Hot Topic Early Bird

🏆 Keyword Champion (5) 💎 Century Club · Bronze

Venues

AAAI (6) IJCAI (4)

Top co-authors

Nian-Ze Lee (3) Che Cheng (2) Yu-Wei Fan (2) Yen-Shi Wang (2) Cheng-Han Hsieh (1) Yun-Rong Luo (1) Pei-Wei Chen (1) Yu-Ching Huang (1)

Research topics

Mathematics & Optimization (9) Computer Science (7) Foundations (7) Optimization (7) Mathematics (6) Knowledge & Reasoning (3) Reasoning (3) Artificial Intelligence (2) Machine Learning (2) Core AI (2) Optimization & Theory (2) Bayesian & Probabilistic (1)

Keywords

stochastic boolean satisfiability (9) quantified boolean formula (5) model counting (2) clause selection (2) dependency quantified boolean formula (2) model checking (2) knowledge compilation (1) probabilistic planning (1) optimization under uncertainty (1) probabilistic graphical model (1) binary decision diagram (1) approximate solution (1) decentralized pomdp (1) sat solving (1) second-order logic (1) clause learning (1) encoding method (1) proof generation (1) skolem function (1) decision procedure (1)

Papers