Probabilistic satisfiability and coherence checking through integer programming. - Fábio Gagliardi Cozman; Lucas Fargoni di Ianni (Int. J. Approx. Reason., 2015)