CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits | IEEE Conference Publication | IEEE Xplore