Sets with Cardinality Constraints in Satisfiability Modulo Theories

Philippe Suter, Robin Steiger, Viktor Kuncak. Sets with Cardinality Constraints in Satisfiability Modulo Theories. In Ranjit Jhala, David A. Schmidt, editors, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Volume 6538 of Lecture Notes in Computer Science, pages 403-418, Springer, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.