Skip to Main content Skip to Navigation
Conference papers

Computing prime implicants

Document type :
Conference papers
Complete list of metadata
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



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⟩



Les métriques sont temporairement indisponibles