Automated Design Debugging With Maximum Satisfiability

AuthID
P-00F-WN9
Tipo de Documento
Article
Year published
2010
Publicado
in IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, ISSN: 0278-0070
Volume: 29, Número: 11, Páginas: 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
Info
At this moment we don't have any links to full text documens.