6456 search results - page 67 / 1292 » Constraint Solving on Terms |
115
Voted
APLAS
2011
ACM
14 years 24 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
73
Voted
COR
2010
15 years 28 days ago
2010
In this paper, we consider the recovery of an airline schedule after an unforeseen event called disruption, making the planned schedule infeasible. We present a modeling framework...
122
click to vote
ENDM
2010
15 years 27 days ago
2010
A Content Distribution Network (CDN) is an overlay network where servers replicate contents and distribute client's requests with the aim at reducing delay, server load and n...
102
Voted
NETWORKS
2008
15 years 23 days ago
2008
Recently published research indicates that a vertex-labeling algorithm based on dynamic-programming concepts is the most efficient procedure available for solving constrained shor...
97
Voted
ANOR
2005
15 years 22 days ago
2005
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...