Nian-Ze Lee
4 papers · 2017–2025 · 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(10)
Top co-authors
Research topics
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