Computing prime implicants.

David Déharbe Pascal Fontaine Daniel Le Berre Bertrand Mazure

Published in: FMCAD (2013)

Keyphrases

prime implicants
prime implicates
boolean functions
abductive reasoning
machine learning
artificial intelligence
optimal solution
search space
normal form
automated reasoning