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 $x=y\setminus z$, $x\ne y\setminus z$, and $z =\{x…