Defect-Tolerant CMOL Cell Assignment via Satisfiability

William N. N. Hung Changjian Gao Xiaoyu Song Dan W. Hammerstrom

Published in: CoRR (2007)

Keyphrases

satisfiability problem
propositional logic
defect detection
computational complexity
phase transition
terminological reasoning
expressive power
search engine
computational properties
microscope images
satisfiability testing
data sets
query language
lower bound
case study
genetic algorithm
cancer cells