DE DOMENICO, Andrea
DE DOMENICO, Andrea
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.019 secondi).
A quadratic reduction of constraints over nested sets to purely boolean formulae in CNF
2020-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G.
An ontology for the iconographic sources of la divina commedia
2020-01-01 De Domenico, A.; Cantone, D.; Nicolosi Asmundo, M.
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case
file da validare2021-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G.
Complexity Assessments for Decidable Fragments of Set Theory. IV: A Quadratic Reduction from Constraints over Nested Sets to Boolean Formulae
2026-01-01 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
On the convexity of a fragment of pure set theory with applications within a nelson-oppen framework
file da validare2021-01-01 Cantone, D.; Maugeri, P.; de Domenico, A.
Polynomial-time satisfiability tests for Boolean fragments of set theory
2019-01-01 Cantone, Domenico; DE DOMENICO, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.