Sciweavers

2864 search results - page 11 / 573
» Constraint Programming in OPL
Sort
View
INFORMS
2010
100views more  INFORMS 2010»
14 years 9 months ago
Two-Step MIR Inequalities for Mixed Integer Programs
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...
Sanjeeb Dash, Marcos Goycoolea, Oktay Günl&uu...
JMLR
2012
13 years 2 months ago
Primal-Dual methods for sparse constrained matrix completion
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...
Yu Xin, Tommi Jaakkola
PPDP
2009
Springer
15 years 6 months ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
POPL
1999
ACM
15 years 4 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden