Jie-Hong R. Jiang
10 papers · 2017–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π 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
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability
IJCAI 2024
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability
AAAI 2024
Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT
AAAI 2023
Second-Order Quantified Boolean Logic
AAAI 2023
SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver
AAAI 2023
Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability
IJCAI 2022
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
AAAI 2021
A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving
AAAI 2021
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
IJCAI 2018
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
IJCAI 2017