Article dans une revue, LaHDAK, Informatique, Intelligence artificielle
Quantifying Conflicts in Propositional Logic Through Prime Implicates
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs. Quantifying Conflicts in Propositional Logic Through Prime Implicates. International Journal of Approximate Reasoning, 2017, 89, pp.27-40. ⟨10.1016/j.ijar.2016.12.017⟩. ⟨hal-01483475⟩
