Nian-Ze Lee
4 papers · 2017–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (2) π Academic Marathon (8) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (10)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
stochastic boolean satisfiability
(3)
quantified boolean formula
(3)
model checking
(2)
algorithm selection
(1)
probabilistic planning
(1)
binary decision diagram
(1)
approximate solution
(1)
decentralized pomdp
(1)
hardware verification
(1)
decentralized partially observable markov decision process
(1)
pairwise classifier
(1)
probabilistic system
(1)
clause selection
(1)
logic synthesis
(1)
approximate solving
(1)
embedding learning
(1)
dependency quantified boolean formula
(1)
computational complexity
(1)
expected utility
(1)
Papers
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
AAAI 2025
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
AAAI 2021
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
IJCAI 2018
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
IJCAI 2017