Reasoning with Finite Sets and Cardinality Constraints in SMT

Overview of attention for article published in Logical Methods in Computer Science (LMCS), November 2018

Altmetric Badge

Mentioned by

So far, Altmetric has seen 3 X posts from 1 X users, with an upper bound of 221 followers.

Reasoning with Finite Sets and Cardinality Constraints in SMT https://t.co/GltvcRN35N

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.