On Algorithms and Complexity for Sets with Cardinality Constraints

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]

Abstract

Abstract is missing.