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
- Published dissertation
- Slides used in the oral defense
- Video of the oral defense
paper/: a directory containing the source code for the paperTalks/oral_defense/: a directory containing the source code for the slidesreproduction-artifact/: a reproduction package for the experiments in the dissertation, published with 10.5281/zenodo.5084147.