13 citations · 46 across the 21 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 2 cited
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. The computational complexity of VCSPs depends on the set of allowed cost f…
math.LO2019
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…