External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Incremental Encoding and Solving of Cardinality Constraints

Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker. Incremental Encoding and Solving of Cardinality Constraints. In Franck Cassez, Jean-François Raskin, editors, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Volume 8837 of Lecture Notes in Computer Science, pages 297-313, Springer, 2014. [doi]

Authors

Sven Reimer

This author has not been identified. Look up 'Sven Reimer' in Google

Matthias Sauer

This author has not been identified. Look up 'Matthias Sauer' in Google

Tobias Schubert

This author has not been identified. Look up 'Tobias Schubert' in Google

Bernd Becker

This author has not been identified. Look up 'Bernd Becker' in Google
runs on