Miroslav N. Velev, Ping Gao 0002. Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors. In Michael R. Genesereth, Peter Z. Revesz, editors, Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. AAAI, 2011. [doi]
Abstract is missing.