13 citations · 46 across the 21 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
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…
math.OC2020
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…