Viktor Kuncak, Martin C. Rinard, Bruno Marnette. On Algorithms and Complexity for Sets with Cardinality Constraints. In Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov, editors, Deduction and Applications, 23.-28. October 2005. Volume 05431 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]