Yen-Shi Wang

According to our database, Yen-Shi Wang authored at least 2 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection.

Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.

Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017