Abstract Domains in Constraint Programming by Marie Pelleau
Abstract Domains in Constraint Programming by Marie Pelleau PDF, ePub eBook D0wnl0ad
Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables.
In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.
- Exploits the over-approximation methods to integrate AI tools in the methods of CP
- Exploits the relationships captured to solve continuous problems more effectively
- Learn from the developers of a solver capable of handling practically all abstract domains
From reader reviews:
Shari Yung:
The book Abstract Domains in Constraint Programming can give more knowledge and information about everything you want. So just why must we leave a very important thing like a book Abstract Domains in Constraint Programming? A few of you have a different opinion about reserve. But one aim this book can give many info for us. It is absolutely suitable. Right now, try to closer together with your book. Knowledge or data that you take for that, you could give for each other; you are able to share all of these. Book Abstract Domains in Constraint Programming has simple shape nevertheless, you know: it has great and massive function for you. You can appearance the enormous world by start and read a publication. So it is very wonderful.
Clinton Whitten:
The book Abstract Domains in Constraint Programming will bring one to the new experience of reading some sort of book. The author style to describe the idea is very unique. In case you try to find new book you just read, this book very acceptable to you. The book Abstract Domains in Constraint Programming is much recommended to you you just read. You can also get the e-book from the official web site, so you can more easily to read the book.
Blake Darden:
That book can make you to feel relax. This book Abstract Domains in Constraint Programming was colorful and of course has pictures on there. As we know that book Abstract Domains in Constraint Programming has many kinds or style. Start from kids until teens. For example Naruto or Detective Conan you can read and feel that you are the character on there. Therefore not at all of book are make you bored, any it offers you feel happy, fun and rest. Try to choose the best book for you and try to like reading in which.
Read Abstract Domains in Constraint Programming by Marie Pelleau for online ebook
Abstract Domains in Constraint Programming by Marie Pelleau Free PDF d0wnl0ad, audio books, books to read, good books to read, cheap books, good books, online books, books online, book reviews epub, read books online, books to read online, online library, greatbooks to read, PDF best books to read, top books to read Abstract Domains in Constraint Programming by Marie Pelleau books to read online.
Komentar
Posting Komentar