Efficiency of Multi-Valued Encoding in SAT-based ATPG.

Görschwin Fey Junhao Shi Rolf Drechsler

Published in: ISMVL (2006)

Keyphrases

multi valued
single valued
multiple valued
normal form
boolean functions
computer vision
sat encodings
velocity field
database systems
database design
vector field