Proceedings

Nian-Ze Lee

Graduate Institute of Electronics Engineering , National Taiwan University , Taipei , Taiwan

2 papers in the IJCAI proceedings

IJCAI 2018

Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
with Yen-Shi Wang, Jie-Hong R. Jiang
doi:10.24963/ijcai.2018/186
Details PDF

IJCAI 2017

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
with Yen-Shi Wang, Jie-Hong R. Jiang
doi:10.24963/ijcai.2017/96
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards