( en | de | ru )

 

Disambiguation of "Lee, Nian-Ze"

Author of the publication

copydeleteadd this publication to your clipboard
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.

, , and . IJCAI, page 688-694. ijcai.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Demba Niang

Oumar Niang

Donatien Niango

Ze Wang

Ze Ji

 

Other publications of authors with the same name

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification., , and . IJCAI, page 688-694. ijcai.org, (2017)Towards Formal Evaluation and Verification of Probabilistic Design., and . IEEE Trans. Computers, 67 (8): 1202-1216 (2018)Scenario Sampling for Cyber Physical Systems using Combinatorial Testing., , , and . ICST Workshops, page 198-199. IEEE, (2019)Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)., , and . CoRR, (2024)Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty., and . AAAI, page 3877-3885. AAAI Press, (2021)Efficient computation of ECO patch functions., , , , , , and . DAC, page 51:1-51:6. ACM, (2018)Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection., , and . IJCAI, page 1339-1345. ijcai.org, (2018)Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits., , , and . ICCAD, page 5. ACM, (2016)Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty., and . CoRR, (2019)Stability analysis for safety of automotive multi-product lines: a search-based approach., , , and . GECCO, page 1241-1249. ACM, (2019)