Quantifying conflicts in propositional logic through prime implicates

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais. Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reasoning, 89:27-40, 2017. [doi]

Abstract

Abstract is missing.