Solving Stochastic Boolean Satisfiability under Random-Exist Quantification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang. Solving Stochastic Boolean Satisfiability under Random-Exist Quantification. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 688-694, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Nian-Ze Lee' in GoogleThis author has not been identified. Look up 'Yen-Shi Wang' in GoogleThis author has not been identified. Look up 'Jie-Hong R. Jiang' in Google

runs on WebDSL