%0 Conference Paper %1 conf/cade/BansalRBT16 %A Bansal, Kshitij %A Reynolds, Andrew %A Barrett, Clark W. %A Tinelli, Cesare %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K dblp %P 82-98 %T A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#BansalRBT16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/BansalRBT16, added-at = {2021-07-27T00:00:00.000+0200}, author = {Bansal, Kshitij and Reynolds, Andrew and Barrett, Clark W. and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2d99a9bbe44e716a7a84fa6eedfd80724/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_7}, interhash = {061b22657ec6a4db0923cde1a0d8da79}, intrahash = {d99a9bbe44e716a7a84fa6eedfd80724}, isbn = {978-3-319-40228-4}, keywords = {dblp}, pages = {82-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:24.000+0200}, title = {A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#BansalRBT16}, volume = 9706, year = 2016 }