Optimization and Computational Logic
Rights Contact Login For More Details
- Wiley
More About This Title Optimization and Computational Logic
English
Ken McAloon, PhD, is Broeklundian Professor of Computer Science at Brooklyn College, CUNY.
Carol Tretkoff, PhD, is Professor of Computer Science at Brooklyn College, CUNY.
Carol Tretkoff, PhD, is Professor of Computer Science at Brooklyn College, CUNY.
English
Constraints and Optimization.
Loop Constructs.
Structured Linear Programming.
Conjunction and Implication.
Conditional Disjunction.
Negation.
Sensitivity Analysis.
Backtracking.
Classical Disjunction and Combinatorially Hard Problems.
Soundness and Completeness.
Depth-First Branch-and-Bound Search.
The Injury Method.
Tightening the Linear Relaxation.
Further Search Methods.
Mathematical Underpinnings.
Getting Started.
References.
List of Models.
Indexes.
Loop Constructs.
Structured Linear Programming.
Conjunction and Implication.
Conditional Disjunction.
Negation.
Sensitivity Analysis.
Backtracking.
Classical Disjunction and Combinatorially Hard Problems.
Soundness and Completeness.
Depth-First Branch-and-Bound Search.
The Injury Method.
Tightening the Linear Relaxation.
Further Search Methods.
Mathematical Underpinnings.
Getting Started.
References.
List of Models.
Indexes.
