Login / Signup

CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits.

Miroslav N. VelevPing Gao
Published in: ISCAS (2011)
Keyphrases