Jie-Hong R. Jiang
10 papers
· 2017–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(2)
π
Academic Marathon
(7)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(14)
π§
Keyword Pioneer
π
Keyword Champion
(5)
π
Century Club
(10)
Conferences
AAAI (6)
IJCAI (4)
Top co-authors
Keywords
stochastic boolean satisfiability
(9)
quantified boolean formula
(5)
model counting
(2)
model checking
(2)
clause selection
(2)
dependency quantified boolean formula
(2)
knowledge compilation
(1)
expected utility
(1)
automated reasoning
(1)
probabilistic graphical model
(1)
binary decision diagram
(1)
approximate solution
(1)
decentralized pomdp
(1)
sat solving
(1)
probabilistic reasoning
(1)
encoding method
(1)
clause learning
(1)
optimization under uncertainty
(1)
second-order logic
(1)
probabilistic planning
(1)
Papers
Second-Order Quantified Boolean Logic
AAAI 2023