Cunjing Ge, Feifei Ma, Jian Zhang 0001. VolCE: An Efficient Tool for Solving #SMT(LA) Problems. In Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan, editors, Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. Volume 2157 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
Abstract is missing.