2 citations · 3 across the 4 of their papers we have counts for
11 papers
One Lie group to define them all
Annalisa Conversano, Marcello Mamino
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the do…
Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Many combinatorial optimisation problems can be modelled as valued constraint satisfaction problems. In this paper, we present a polynomial-time algorithm solving the valued constr…
Asymptotic analysis of Skolem's exponential functions
Alessandro Berarducci, Marcello Mamino
Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant , the identity function , and suc…
A polynomial-time algorithm for median-closed semilinear constraints
Manuel Bodirsky, Marcello Mamino
A subset of Q^n is called semilinear (or piecewise linear) if it is Boolean combination of linear half-spaces. We study the computational complexity of the constraint satisfaction…
The complexity of disjunctive linear Diophantine constraints
Manuel Bodirsky, Barnaby Martin, Marcello Mamino +1
We study the Constraint Satisfaction Problem CSP(A), where A is first-order definable in (Z;+,1) and contains +. We prove such problems are either in P or NP-complete.
Fundamental group in o-minimal structures with definable Skolem functions
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably…