Incremental Encoding and Solving of Cardinality Constraints.

Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker

Browse the full ATVA paper archive.