Combinational Equivalence Checking Using Satisfiability and Recursive Learning

AuthID
 P-001-5HQ
2
Author(s)
2
Editor(s)
Borrione,D;Ernst,R
Document Type
Proceedings Paper
Year published
1999
Published
in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS in DATE, ISSN: 15301591
Pages: 145-149 (5)
Conference
Design, Automation and Test in Europe Conference and Exhibition, Date: MAR 09-12, 1999, Location: MUNICH, GERMANY, Sponsors: EDAA, EDAC, IEEE Comp Soc-TTTC, ACM-SIGDA, IFP 10.5, ECSI, RAS
Indexing
Wos®
Scopus®
Dblp®/en/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
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service