Quantifying Conflicts in Propositional Logic Through Prime Implicates

Submitted by lahdakadmin on Mon, 03/20/2017 - 18:07
TitleQuantifying Conflicts in Propositional Logic Through Prime Implicates
Publication TypeJournal Article
Year of Publication2017
AuthorsJabbour, S, Ma, Y, Badran, R, Sais, L
Journal{International Journal of Approximate Reasoning.}
Date PublishedFeb
URLhttps://hal.archives-ouvertes.fr/hal-01483475