2 search results - page 1 / 1 » Considering Circuit Observability Don't Cares in CNF Satisfi... |
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
VLSID
2007
IEEE
14 years 5 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...