Computing Prime Implicants

TitleComputing Prime Implicants
Publication TypeConference Paper
Year of Publication2013
AuthorsDéharbe, D, Fontaine, P, Le Berre, D, Mazure, B
EditorJobstmann, B, Ray, S
Conference Name13th Intl. Conf. Formal Methods for Computer-Aided Design (FMCAD 2013)
PublisherACM
Conference LocationPortland, OR, U.S.A.
URLhttp://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/proceedings/54418_IEEE%20FMCAD_Complete%20Book.pdf
Work Package: 
WP2