New Methods for Deriving All Minimal Diagnostic Using Satisfiability Algorithms
Zeng, Wei Peng, Cai, Li Sha, Lin, Er Min, Huang, GuoVolume:
543-547
Language:
english
Journal:
Applied Mechanics and Materials
DOI:
10.4028/www.scientific.net/AMM.543-547.899
Date:
March, 2014
File:
PDF, 204 KB
english, 2014