Solving Stochastic Boolean Satisfiability under Random-Exist Quantification
Journal
International Joint Conference on Artificial Intelligence (IJCAI)
Part Of
IJCAI International Joint Conference on Artificial Intelligence
Pages
797
Start Page
688
End Page
694
ISBN (of the container)
978-099924110-3
Date Issued
2017
Author(s)
Event(s)
26th International Joint Conference on Artificial Intelligence, IJCAI 2017
Type
conference paper