Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations ResearchDavid L. Woodruff Computer Science and Operations Research continue to have a synergistic relationship and this book - as a part of the Operations Research and Computer Science Interface Series - sits squarely in the center of the confluence of these two technical research communities. The research presented in the volume is evidence of the expanding frontiers of these two intersecting disciplines and provides researchers and practitioners with new work in the areas of logic programming, stochastic optimization, heuristic search and post-solution analysis for integer programs. The chapter topics span the spectrum of application level. Some of the chapters are highly applied and others represent work in which the application potential is only beginning. In addition, each chapter contains expository material and reviews of the literature designed to enhance the participation of the reader in this expanding interface. |
Contents
CONSTRAINT SATISFACTION METHODS FOR GENERATING VALID CUTS | 1 |
EXTENDING A GENERALPURPOSE ALGEBRAIC MODELING LANGUAGE TO COMBINATORIAL OPTIMIZATION A LOGIC PROGRAMMI... | 31 |
DISJUNCTIVE PROGRAMMING AND COOPERATING SOLVERS | 75 |
AN ANNOTATED BIBLIOGRAPHY FOR POSTSOLUTION ANALYSIS IN MIXED INTEGER PROGRAMMING AND COMBINATORIAL OPTI... | 97 |
ON A STOCHASTIC KNAPSACK PROBLEM AND GENERALIZATIONS | 149 |
SAMPLEPATH SOLUTIONS FOR SIMULATION OPTIMIZATION PROBLEMS AND STOCHASTIC VARIATIONAL INEQUALITIES | 169 |
PLAY SELECTION IN AMERICAN FOOTBALL A CASE STUDY IN NEURODYNAMIC PROGRAMMING | 189 |
TABU SEARCH CANDIDATE LIST STRATEGIES IN SCHEDULING | 215 |
USING SURROGATE CONSTRAINTS IN GENETIC ALGORITHMS FOR SOLVING MULTIDIMENSIONAL KNAPSACK PROBLEMS | 235 |
INTRODUCTION TO GENETIC HEURISTICS AND VEHICLE ROUTING PROBLEMS WITH COMPLEX CONSTRAINTS | 253 |
A GENETIC ALGORITHM FOR THE CLUSTERED TRAVELING SALESMAN PROBLEM WITH A PRESPECIFIED ORDER ON THE CLUSTERS | 287 |
A NEW ALGORITHM FOR THE SITEDEPENDENT VEHICLE ROUTING PROBLEM | 301 |
Other editions - View all
Advances in Computational and Stochastic Optimization, Logic Programming ... David L. Woodruff No preview available - 2010 |
Advances in Computational and Stochastic Optimization, Logic Programming ... David L. Woodruff No preview available - 2012 |
Common terms and phrases
activity adaptive consistency algebraic modeling languages AMPL AMPL's applied approximation assignment backtracking binary bound branch and bound chromosome clauses cluster combinatorial optimization ComplTime computational constraint satisfaction cooperating solvers cost Cplex crossover customers defined dependency graph discrete disjunctive dueTime dynamic programming evaluation example extensions genetic algorithm GenSect heuristic implementation induced width infeasible integer linear programming integer programming JobForSlot JOBS k-consistency knapsack problem linear programming logic programming MACHINES makespan Mathematical Programming MILP minimize move node number of vehicles obtained Operations Research optimal solution optimal value optimization problems param parameter Policy Iteration postoptimal procedure random reward-to-go right-hand side sample-path scheduling Section selection sensitivity analysis sequence simulation solve spanning tree stability stability radius stochastic subj subset surrogate constraints Tabu Search Theorem total distance traveled value function variables variational inequality vector vehicle routing problem vehicle type Yards to goal
Popular passages
Page 298 - Canada (CRSH), le Fonds pour la formation de chercheurs et l'aide à la recherche (FCAR) et le programme de soutien aux cotutelles Québec-France.