Markus Bender. Reasoning with Sets and Sums of Sets. In Tim King, Ruzica Piskac, editors, Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. Volume 1617 of CEUR Workshop Proceedings, pages 61-70, CEUR-WS.org, 2016. [doi]
Abstract is missing.