Publications

Core Minimization in Sat-Based Abstraction

AuthID
P-008-F5T

Author(s)

Belov, A

Chen, H

Mishchenko, A

Marques Silva, J

Editor(s)

Macii,E

Document Type

Proceedings Paper

Year published

2013

Published

in DESIGN, AUTOMATION & TEST IN EUROPE in Design Automation and Test in Europe Conference and Exhibition, ISSN: 1530-1591

Pages: 1411-1416 (6)

Conference

Design, Automation and Test in Europe Conference and Exhibition (Date), Date: MAR 18-22, 2013, Location: Grenoble, FRANCE, Sponsors: ACM Special Interest Grp Design Automat, RAS, EDA Consortium, IEEE Council Elect Design Automat, ECSI, European Design & Automat Assoc

Indexing