A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation).

Mark H. Liffiton, Jordyn C. Maglalang

Browse the full SAT paper archive.