13 citations · 46 across the 21 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
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…
math.LO2018
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs dependin…