Generalized probabilistic satisfiability through integer programming - De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo (Journal of the Brazilian Computer Society, 2015)