Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes

Olivier Coudert, Jean-Christophe Madre
1994 RAIRO - Theoretical Informatics and Applications  
doi:10.1051/ita/1994280201251 fatcat:rzjratdskfb43foml5izztueye