%0 Conference Paper %1 conf/cade/Piskac20 %A Piskac, Ruzica %B IJCAR (1) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 3-10 %T Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#Piskac20 %V 12166 %@ 978-3-030-51074-9

@inproceedings{conf/cade/Piskac20, added-at = {2020-07-03T00:00:00.000+0200}, author = {Piskac, Ruzica}, biburl = {https://www.bibsonomy.org/bibtex/2b3431541f693f9b9a90dddd5368f7d00/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/cade/2020-1}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51074-9_1}, interhash = {bededad78bf0d599e38e90c6495fbb48}, intrahash = {b3431541f693f9b9a90dddd5368f7d00}, isbn = {978-3-030-51074-9}, keywords = {dblp}, pages = {3-10}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-04T12:03:27.000+0200}, title = {Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#Piskac20}, volume = 12166, year = 2020 }