Considering circuit observability don't cares in CNF satisfiability

10.1109/DATE.2005.102

Saved in:
Bibliographic Details
Main Authors: Fu, Z., Yu, Y., Malik, S.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40256
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40256
record_format dspace
spelling sg-nus-scholar.10635-402562015-01-06T18:27:02Z Considering circuit observability don't cares in CNF satisfiability Fu, Z. Yu, Y. Malik, S. COMPUTER SCIENCE 10.1109/DATE.2005.102 Proceedings -Design, Automation and Test in Europe, DATE '05 II 1108-1113 2013-07-04T08:00:09Z 2013-07-04T08:00:09Z 2005 Conference Paper Fu, Z.,Yu, Y.,Malik, S. (2005). Considering circuit observability don't cares in CNF satisfiability. Proceedings -Design, Automation and Test in Europe, DATE '05 II : 1108-1113. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/DATE.2005.102" target="_blank">https://doi.org/10.1109/DATE.2005.102</a> 0769522882 15301591 http://scholarbank.nus.edu.sg/handle/10635/40256 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description 10.1109/DATE.2005.102
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Fu, Z.
Yu, Y.
Malik, S.
format Conference or Workshop Item
author Fu, Z.
Yu, Y.
Malik, S.
spellingShingle Fu, Z.
Yu, Y.
Malik, S.
Considering circuit observability don't cares in CNF satisfiability
author_sort Fu, Z.
title Considering circuit observability don't cares in CNF satisfiability
title_short Considering circuit observability don't cares in CNF satisfiability
title_full Considering circuit observability don't cares in CNF satisfiability
title_fullStr Considering circuit observability don't cares in CNF satisfiability
title_full_unstemmed Considering circuit observability don't cares in CNF satisfiability
title_sort considering circuit observability don't cares in cnf satisfiability
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40256
_version_ 1681082236691021824