Skip to content

nianzelee/PhD-Dissertation

Repository files navigation

Doctoral Dissertation

Stochastic Boolean Satisfiability: Decision Procedures, Generalization, and Applications

This repository contains material for Nian-Ze Lee's dissertation, submitted to National Taiwan University for the degree of Doctor of Philosophy in Electronics Engineering.

The dissertation was approved on 2021-06-02 by Prof. Dirk Beyer, Prof. Ichiro Hasuo, Prof. Jie-Hong R. Jiang, Dr. Victor N. Kravets, and Dr. Bow-Yaw Wang.

Content