Showing 2021 · cs.LOShow all
2 papers · 2 filters
cs.LO2021
Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae
Domenico Cantone, Andrea De Domenico, Pietro Maugeri +1
As a contribution to quantitative set-theoretic inferencing, a translation is proposed of conjunctions of literals of the forms , , and $z =\{x…
cs.LO2021
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate…