Book contents
- Frontmatter
- Contents
- Introduction
- Dedication
- Part I Logic programming paradigm
- Part II Elements of Prolog
- Part III Programming with passive constraints
- Part IV Programming with active constraints
- 10 Constraint propagation in ECLipse
- 11 Top-down search with active constraints
- 12 Optimisation with active constraints
- 13 Constraints on reals
- 14 Linear constraints over continuous and integer variables
- Solutions to selected exercises
- Bibliographic remarks
- Bibliography
- Index
11 - Top-down search with active constraints
from Part IV - Programming with active constraints
Published online by Cambridge University Press: 23 November 2009
- Frontmatter
- Contents
- Introduction
- Dedication
- Part I Logic programming paradigm
- Part II Elements of Prolog
- Part III Programming with passive constraints
- Part IV Programming with active constraints
- 10 Constraint propagation in ECLipse
- 11 Top-down search with active constraints
- 12 Optimisation with active constraints
- 13 Constraints on reals
- 14 Linear constraints over continuous and integer variables
- Solutions to selected exercises
- Bibliographic remarks
- Bibliography
- Index
Summary
- Type
- Chapter
- Information
- Constraint Logic Programming using Eclipse , pp. 205 - 229Publisher: Cambridge University PressPrint publication year: 2006