%0 Generic %1 bansal2018reasoning %A Bansal, Kshitij %A Barrett, Clark %A Reynolds, Andrew %A Tinelli, Cesare %D 2018 %K Cardinality SMT Set %T Reasoning with Finite Sets and Cardinality Constraints in SMT

@misc{bansal2018reasoning, added-at = {2024-04-30T10:51:36.000+0200}, archiveprefix = {arXiv}, author = {Bansal, Kshitij and Barrett, Clark and Reynolds, Andrew and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/20da5ba644ada23fed4a159ab16fae832/rge}, description = {Reasoning with Finite Sets and Cardinality Constraints in SMT}, eprint = {1702.06259}, interhash = {96d81e274ded7a04f1796171245b1478}, intrahash = {0da5ba644ada23fed4a159ab16fae832}, keywords = {Cardinality SMT Set}, primaryclass = {cs.LO}, timestamp = {2024-04-30T10:51:36.000+0200}, title = {Reasoning with Finite Sets and Cardinality Constraints in SMT}, year = 2018 }