Synopsis : Abstract Domains in Constraint Programming written by Marie Pelleau, published by Wiley-ISTE which was released on 09 November 2015. Download Abstract Domains in Constraint Programming Books now! Available in PDF, EPUB, Mobi Format.
This text describes the functions and methodology of abstract domains in constraint programming that apply to both integer and real variables. After a broad assessment of constraint programming, the book covers octagons abstract domain, abstract interpretation techniques, and the application of AbSolute to solve mixed problems and use relational domains. Constraint programming practitioners and students will gain a deeper understanding of solutions to multi-variable problems and their representations.