@inproceedings{ijcai2017p126, author = {Carlos Caleiro and Filipe Casal and Andreia Mordido}, title = {Classical Generalized Probabilistic Satisfiability}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {908--914}, year = {2017}, doi = {10.24963/ijcai.2017/126}, url = {https://doi.org/10.24963/ijcai.2017/126}, }