Computing Prime Implicants
| Title | Computing Prime Implicants |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Déharbe, D, Fontaine, P, Le Berre, D, Mazure, B |
| Editor | Jobstmann, B, Ray, S |
| Conference Name | 13th Intl. Conf. Formal Methods for Computer-Aided Design (FMCAD 2013) |
| Publisher | ACM |
| Conference Location | Portland, OR, U.S.A. |
| URL | http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/proceedings/54418_IEEE%20FMCAD_Complete%20Book.pdf |
Work Package:
WP2
