Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICCD
2005
IEEE
114views Hardware» more  ICCD 2005»
13 years 2 months ago
State Set Management for SAT-based Unbounded Model Checking
In recent years, Boolean Satis´Čüability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
Kameshwar Chandrasekar, Michael S. Hsiao
books