Skip to Main content Skip to Navigation
Conference papers

Computing prime implicants

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300802
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:08:09 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM

Identifiers

Citation

David Deharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure. Computing prime implicants. 13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), Oct 2013, Portland, Oregon, United States. pp.46-52, ⟨10.1109/FMCAD.2013.6679390⟩. ⟨hal-03300802⟩

Share

Metrics

Les métriques sont temporairement indisponibles