Sciweavers

CONSTRAINTS
1999
77views more  CONSTRAINTS 1999»
13 years 11 months ago
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...
CONSTRAINTS
1999
120views more  CONSTRAINTS 1999»
13 years 11 months ago
Refined Inequalities for Stable Marriage
We consider two approaches to the stable marriage problem: proposal algorithms and describing the stable matching polytope using linear inequalities. We illuminate the relationship...
Brian Aldershof, Olivia M. Carducci, David C. Lore...
CONSTRAINTS
1999
105views more  CONSTRAINTS 1999»
13 years 11 months ago
Algorithmic Power from Declarative Use of Redundant Constraints
Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...
Maarten H. van Emden