Extending the Gecode Framework with Interval Constraint Programming: Adding support for solving problems with real-number solutions to constraint programming framework Gecode - Couverture souple

Ivezić, Ivan

 
9783639859010: Extending the Gecode Framework with Interval Constraint Programming: Adding support for solving problems with real-number solutions to constraint programming framework Gecode

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Ivan Ivezić 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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.