Symposium on Abstraction, Reformulation, and Approximation
Ninth Symposium of Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors

Velev, Gao




Search conference