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 <>
Submitted on : Tuesday, July 27, 2021 - 12:08:09 PM
Last modification on : Thursday, September 9, 2021 - 3:10:48 PM

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

Record views

18