Automated Design Debugging With Maximum Satisfiability

AuthID
P-00F-WN9
Document Type
Article
Year published
2010
Published
in IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, ISSN: 0278-0070
Volume: 29, Issue: 11, Pages: 1804-1817 (14)
Indexing
Publication Identifiers
DBLP: journals/tcad/ChenSMV10
SCOPUS: 2-s2.0-77958453220
Unpaywall: 10.1109/tcad.2010.2061270
Wos: WOS:000283453200012
Source Identifiers
ISSN: 0278-0070
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.