@inproceedings{inproceedingsc3d8137a,
title   = {Probabilistic satisfiability and coherence checking through Integer programming},
author = {Cozman, Fabio Gagliardi and Ianni, Lucas Fargoni di},
year = {2013},
publisher = {Springer},
booktitle   = {European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty}
}