Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
Part Of
35th AAAI Conference on Artificial Intelligence, AAAI 2021
Journal Volume
5A
Start Page
3877
End Page
3885
ISSN
2374-3468
2159-5399
ISBN (of the container)
978-171383597-4
Date Issued
2021-05-18
Author(s)
Event(s)
35th AAAI Conference on Artificial Intelligence, AAAI 2021
SDGs
Publisher
Association for the Advancement of Artificial Intelligence (AAAI)
Type
conference paper