Marcello Mamino

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 16

Top Topics

Linear Programming Relaxation

Piecewise Linear

Constraint Satisfaction

Forward Checking

Top Venues

Theory Comput. Syst.

Publications

Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
Vector spaces with a union of independent subspaces. Arch. Math. Log. 63 (3-4) (2024)
Alessandro Berarducci, Marcello Mamino
Asymptotic Analysis of Skolem's exponential Functions. J. Symb. Log. 87 (2) (2022)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation. ACM Trans. Comput. Log. 23 (1) (2022)
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
Fundamental group in o-minimal structures with definable Skolem functions. Ann. Pure Appl. Log. 172 (8) (2021)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables. CoRR (2020)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation. CoRR (2019)
Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
The complexity of disjunctive linear Diophantine constraints. CoRR (2018)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. CoRR (2018)
Manuel Bodirsky, Marcello Mamino
A polynomial-time algorithm for median-closed semilinear constraints. CoRR (2018)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. CSL (2018)
Manuel Bodirsky, Marcello Mamino
Tropically Convex Constraint Satisfaction. Theory Comput. Syst. 62 (3) (2018)
Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
The Complexity of Disjunctive Linear Diophantine Constraints. MFCS (2018)
Marcello Mamino
Strategy recovery for stochastic mean payoff games. Theor. Comput. Sci. 675 (2017)
Marcello Mamino, Giovanni Viglietta
Square Formation by Asynchronous Oblivious Robots. CoRR (2016)
Manuel Bodirsky, Marcello Mamino
Max-Closed Semilinear Constraint Satisfaction. CSR (2016)
Marcello Mamino, Giovanni Viglietta
Square Formation by Asynchronous Oblivious Robots. CCCG (2016)
Manuel Bodirsky, Marcello Mamino
Max-Closed Semilinear Constraint Satisfaction. CoRR (2015)
Marcello Mamino
Strategy Recovery for Stochastic Mean Payoff Games. CoRR (2015)
Marcello Mamino
On the computing power of +, -, and ×. CSL-LICS (2014)
Marcello Mamino
On the Computing Power of +, -, and ˟. CoRR (2014)
Marcello Mamino
On the computational complexity of a game of cops and robbers. Theor. Comput. Sci. 477 (2013)
Marcello Mamino
On the computational complexity of a game of cops and robbers CoRR (2012)
Marcello Mamino
Splitting definably compact groups in o-minimal structures. J. Symb. Log. 76 (3) (2011)
Alessandro Berarducci, Marcello Mamino
On the homotopy type of definable groups in an o-minimal structure. J. Lond. Math. Soc. 83 (3) (2011)
Antongiulio Fornasiero, Marcello Mamino
Arithmetic of Dedekind cuts of ordered Abelian groups. Ann. Pure Appl. Log. 156 (2-3) (2008)