Ruzica Piskac: Efficient Automated Reasoning about Sets and Multisets with Cardinality… (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-15

Efficient Automated Reasoning about Sets and Multisets with Cardinality Constraints

Aired: 2020-02-03 15:15:00 CEST (UTC+2)