Nian-Ze Lee
4 papers
· 2017–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)