Login / Signup
Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints.
Ruzica Piskac
Published in:
IJCAR (1) (2020)
Keyphrases
</>
cardinality constraints
domain knowledge
database
databases
closed sets