A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation). - Mark H. Liffiton; Jordyn C. Maglalang (SAT, 2012)