Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Maugeri, Pietro"'
As a contribution to quantitative set-theoretic inferencing, a translation is proposed of conjunctions of literals of the forms $x=y\setminus z$, $x \neq y\setminus z$, and $z =\{x\}$, where $x,y,z$ stand for variables ranging over the von Neumann un
Externí odkaz:
http://arxiv.org/abs/2112.04797
Publikováno v:
EPTCS 346, 2021, pp. 195-210
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate logic with equality. SMT solvers are often based on variants of the N
Externí odkaz:
http://arxiv.org/abs/2109.08309
Publikováno v:
In Theoretical Computer Science 18 April 2023 954
Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \colon \Omega \to P$ such that $\Omega \subseteq P$ and $c(B) \subseteq B$ for all menus $B \in \Omega$. A choice is total if $\Omega = P$,
Externí odkaz:
http://arxiv.org/abs/1708.06121
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cantone, Domenico, De Domenico, Andrea, Maugeri, Pietro, Omodeo, Eugenio G., Casagrande, Alberto, Proietti, Maurizio
Publikováno v:
Fundamenta Informaticae; 2021, Vol. 181 Issue 1, p37-69, 33p
Autor:
Cantone, Domenico1 (AUTHOR) andrea.dedomenico@studium.unict.it, De Domenico, Andrea2 (AUTHOR) andrea.dedomenico@studium.unict.it, Maugeri, Pietro1 (AUTHOR) pietro.maugeri@unict.it, Omodeo, Eugenio G.3 (AUTHOR) eomodeo@units.it, Casagrande, Alberto (AUTHOR), Proietti, Maurizio (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2021, Vol. 181 Issue 1, p37-69. 33p.