Pietro Maugeri

13 papers C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2024 C conf
The Decision Problem for Undirected Graphs with Reachability and Acyclicity.
CiE
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
2023 — conf
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator.
ICTCS
Domenico Cantone, Pietro Maugeri
2023 J jnl
Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages.
Theor. Comput. Sci.
Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
2023 — conf
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence.
ICTCS
Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson
2021 J jnl
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case.
Fundam. Informaticae
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2021 J jnl
Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae.
CoRR
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2021 — conf
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework.
GandALF
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
2021 — conf
Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages.
ICTCS
Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
2020 — conf
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF.
CILC
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2020 J jnl
Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership.
Theor. Comput. Sci.
Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo
2019 — conf
A Potential-Based Variant of the Bellman-Ford Algorithm.
ICTCS
Domenico Cantone, Pietro Maugeri, Stefano Scafiti
2019 — conf
Polynomial-Time Satisfiability Tests for 'Small' Membership Theories.
ICTCS
Domenico Cantone, Pietro Maugeri
2019 — conf
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory.
CILC
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo