Session 11

Chair: Laura Kovacs

• 15:15: Ruzica Piskac. Efficient Automated Reasoning about Sets and Multisets with Cardinality Constraints.