@article{article385fd0c9,
title   = {Generalized probabilistic satisfiability through integer programming},
author = {De Bona, Glauber and Cozman, Fabio Gagliardi and Finger, Marcelo},
year = {2015},
doi = {10.1186/s13173-015-0028-x},
journal   = {Journal of the Brazilian Computer Society}
}