documents/intro_paper/eclipse.tex

83 CLP and also mathematical programming typically impose new
198 In this case the new choice is typically compared with the previous
392 The second difference is that logic programming allows new constraints
507 The solution cannot then be modified to meet the actual, or new,
1655 built-in constraints, each new industrial application typically
1820 The required \ECL encoding remains quite logical, but it needs a new
1909 Query 4 does, however, produce new information, because not only do
2016 Goals suspended in this way will wake when any new constraint on $X$
2104 Any \ECL user can define and implement a completely new constraint
2108 A new attribute storing information about
2109 the new class of constraints, must be defined.
2117 defining such a new constraint
2131 and bound}, which posts a new constraint, each time it finds a
2134 Eventually the new constraint will be unsatisfiable, and the algorithm
2158 A guess in the most general sense is the posting of a new
2188 This suggests a different search mechanism, in which a new constraint
2193 a new constraint $X \geq 1$ might be added.
2194 Since this excludes other feasible solutions such as $X=0$, this new
2204 solutions to decide which new constraint to impose (i.e. guess) next.
2206 control with \ECL, it allows the \ECL programmer to define new search
2313 of $X$, and it wakes the linear solver which returns a new relaxed
2314 optimum with new suggested values for the other variables.
2331 longer delays until, in many cases, it fails to yield any new
2392 adds new constraints to exclude this solution.
2406 satisfy some of the new constraints.
2407 Indeed the simplest change is to constrain a variable to take a new
2409 In this case the tentative value violates the new constraint.
2411 comprise a feasible solution to the new problem and there is no need
2424 the variable to the chosen new value.
2432 Thus when a variable is labelled to a new value, the value is chosen
2524 value such that the cost of the new solution is better than the cost
2551 requirement is to modify that solution to satisfy some new
2642 continually give rise to new hybrid techniques,
2644 are encapsulated and added as new libraries.
2648 which new hybrid algorithms can be developed and validated, and
2686 \newblock A new approach to integrating mixed integer programming with