Extending the Gecode Framework with Interval Constraint Programming

Gecode is an constraint programming framework which is able to reason about relations with integers and sets, but which lacked support for relations with real-valued variables. To make conclusions about variables whose values can take real values, we can consider their possible value sets to be intervals. This book clarifies the necessary concepts needed to introduce interval reasoning functionality, and shows how the Gecode framework has been extended to add support for interval constraint programming.

Ivan Ivezic has completed his Bachelor degree in Computer Science in Zagreb, Croatia. After that, he completed his Master's Degree in Computational Intelligence on the Technical University in Vienna, Austria, with this thesis. He works as a freelance software engineer.