3 papers
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…
cs.LO2017
Extending rational choice behavior: The decision problem for Boolean set theory with a choice correspondence
Domenico Cantone, Alfio Giarlotta, Pietro Maugeri +1
Given the family of all nonempty subsets of a set of alternatives, a choice over is a function such that and for all…