Chapter 3  IC: A Hybrid Finite Domain / Real Number Interval Constraint Solver

• Introduction
  • What IC does
  • Differences between IC and FD
  • Differences between IC and RIA
  • Notes about interval arithmetic
  • Interval arithmetic and IC
  • Usage
  • Arithmetic Expressions
• Library Predicates
  • Domain constraints
  • Arithmetic constraints
  • Reified constraints
  • Miscellaneous constraints
  • Integer labeling predicates
  • Real domain refinement predicates
  • Variable query predicates
  • Propagation threshold predicates
  • Solving by Interval Propagation
  • Reducing Ranges Further
  • Obtaining Solver Statistics
• General Guidelines for the Use of the IC library
• User defined constraints
  • Modifying variable domains
  • The IC attribute