Fabio Gagliardi Cozman, Lucas Fargoni di Ianni. Probabilistic satisfiability and coherence checking through integer programming. Int. J. Approx. Reasoning, 58:57-70, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.