4 papers:
CIKM-2014-ZhangZZLM #comprehension #constraints #matrix- Understanding the Sparsity: Augmented Matrix Factorization with Sampled Constraints on Unobservables (YZ, MZ, YZ, YL, SM), pp. 1189–1198.
DATE-v1-2004-Velev #performance #verification- Exploiting Signal Unobservability for Efficient Translation to CNF in Formal Verification of Microprocessors (MNV), pp. 266–271.
SAT-2004-Velev #encoding #performance #satisfiability- Encoding Global Unobservability for Efficient Translation to SAT (MNV), pp. 197–204.
DAC-1994-NagumoNNMM #fault #named #reduction #using- VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.
