@INPROCEEDINGS {30619,
author={C. Caleiro and F. Casal and A. Mordido },
doi={https://doi.org/10.24963/ijcai.2017/126},
booktitle={International Joint Conference on Artificial Intelligence - IJCAI},
title={Classical generalized probabilistic satisfiability},
year={2017},
month={August},
volume={},
pages={-} 
}