Probabilistic Satisfiability and Coherence Checking through Integer Programming.

Fbio Gagliardi Cozman, Lucas Fargoni di Ianni

Browse the full ECSQARU paper archive.