Abstract Domains in Constraint Programming
  • Release Date : 09 November 2015
  • Publisher : Wiley-ISTE
  • Categories : Computers
  • Pages : 176 pages
  • ISBN 13 : 184821622X
  • ISBN 10 : 9781848216228
Score: 4
From 245 Ratings

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.