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

Miroslav N. Velev, Ping Gao

Browse the full ISCAS paper archive.