2398 search results - page 106 / 480 » Constraint Programming and Graph Algorithms |
219
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier wo...
170
click to vote
SIAMJO
2002
15 years 4 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
138
click to vote
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
145
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
144
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...