Classical generalized probabilistic satisfiability

TitleClassical generalized probabilistic satisfiability
Publication TypeConference Paper
Year of Publication2017
AuthorsCaleiro, C., F. Casal, and A. Mordido
Conference NameProceedings of the 26th International Joint Conference on Artificial Intelligence
PublisherAAAI Press