Abstract Domains in Constraint Programming
  • Publisher : Wiley-ISTE
  • Release : 09 November 2015
  • ISBN : 184821622X
  • Page : 176 pages
  • Rating : /5 from voters

Download or read online book entitled Abstract Domains in Constraint Programming, was written by Marie Pelleau and published by Wiley-ISTE in pdf, epub and kindle format. This book was released on 09 November 2015 with total pages 176. 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.

Constraint Programming

Constraint Programming Author: Brian Mayoh,Enn Tyugu,Jaan Penjam
Publisher: Springer Science & Business Media
Relase: 2013-11-21
ISBN: 9783642859830

Formal Methods FM 2019 International Workshops

Formal Methods  FM 2019 International Workshops Author: Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Campos,Troy Astarte,Laure Gonnord,Antonio Cerone,Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas
Publisher: Springer Nature
Relase: 2020-08-10
ISBN: 9783030549978