Accelerating Mus Extraction with Recursive Model Rotation

AuthID
P-00F-X9A
2
Author(s)
Belov, A
·
2
Editor(es)
Per Bjesse; Anna Slobodová
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011 in FMCAD
Páginas: 37-40
Conference
2011 Formal Methods in Computer-Aided Design, Fmcad 2011, Date: 30 October 2011 through 2 November 2011, Location: Austin, TX, Patrocinadores: Centaur Technology;IBM Corp.;Intel Corp.;Jasper Design Automation;NEC Laboratories America, Inc.
Indexing
Publication Identifiers
DBLP: conf/fmcad/BelovM11
SCOPUS: 2-s2.0-84857700136
Export Publication Metadata
Citações
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.



CORE Conference
No information about CORE Rank

During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.

TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.

Journal Factors
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.