3 papers
cs.DM2022
Complexity of solving a system of difference constraints with variables restricted to a finite set
Santiago Cifuentes, Francisco J. Soulignac, Pablo Terlisky
Fishburn developed an algorithm to solve a system of difference constraints whose unknowns must take values from a set with real numbers [Solving a system of difference…
cs.DS2022
Loop unrolling of UCA models: distance labeling
Francisco J Soulignac, Pablo Terlisky
A proper circular-arc (PCA) model is a pair where is a circle and is a family of inclusion-free arcs on whose extremes are pairwise different. The model $M…
cs.DM2016
Minimal and minimum unit circular-arc models
Francisco J. Soulignac, Pablo Terlisky
A proper circular-arc (PCA) model is a pair where is a circle and is a family of inclusion-free arcs on in which no two arcs of c…