13841 search results - page 295 / 2769 » Algorithms and Constraint Programming |
185
click to vote
SPIRE
2000
Springer
15 years 10 months ago
2000
Springer
We consider a fully compressed pattern matching problem, where both text T and pattern P are given by its succinct representation, in terms of straight-line programs and its varia...
131
click to vote
INFSOF
2006
15 years 6 months ago
2006
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...
179
Voted
MP
2006
15 years 6 months ago
2006
We present a primal-dual interior-point algorithm with a filter line-search method for nonlinear programming. Local and global convergence properties of this method were analyzed i...
185
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
374
click to vote
CCO
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we survey the basic features of state-of-the-art branch-and-cut algorithms for the solution of general mixed integer programming problems. In particular we focus on p...