Combinational Equivalence Checking Using Satisfiability and Recursive Learning

AuthID
 P-001-5HQ
2
Author(s)
2
Editor(es)
Borrione,D;Ernst,R
Tipo de Documento
Proceedings Paper
Year published
1999
Publicado
in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS in DATE, ISSN: 15301591
Páginas: 145-149 (5)
Conference
Design, Automation and Test in Europe Conference and Exhibition, Date: MAR 09-12, 1999, Location: MUNICH, GERMANY, Patrocinadores: EDAA, EDAC, IEEE Comp Soc-TTTC, ACM-SIGDA, IFP 10.5, ECSI, RAS
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/38455
Crossref®13
Google Scholar®
Publication Identifiers
DBLP: conf/date/Marques-SilvaG99
SCOPUS: 2-s2.0-29244455141
Wos: WOS:000079489400024
Source Identifiers
ISSN: 15301591
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service