Abstract Domains in Constraint Programming

Written By Marie Pelleau
Abstract Domains in Constraint Programming
  • Publsiher : Elsevier
  • Release : 20 May 2015
  • ISBN : 0081004648
  • Pages : 176 pages
  • Rating : 4/5 from 21 reviews
GET THIS BOOKAbstract Domains in Constraint Programming


Read or download book entitled Abstract Domains in Constraint Programming written by Marie Pelleau which was release on 20 May 2015, this book published by Elsevier. Available in PDF, EPUB and Kindle Format. Book excerpt: 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

Abstract Domains in Constraint Programming

Abstract Domains in Constraint Programming
  • Author : Marie Pelleau
  • Publisher : Elsevier
  • Release Date : 2015-05-20
  • Total pages : 176
  • ISBN : 0081004648
GET BOOK

Summary : 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 ...

Principles and Practice of Constraint Programming CP 2012

Principles and Practice of Constraint Programming   CP 2012
  • Author : Michela Milano
  • Publisher : Springer
  • Release Date : 2012-10-03
  • Total pages : 1015
  • ISBN : 0081004648
GET BOOK

Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was ...

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2003
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Principles and Practice of Constraint Programming written by , published by which was released on 2003. Get Principles and Practice of Constraint Programming Books now! Available in PDF, ePub and Kindle....

Constraint Programming

Constraint Programming
  • Author : Brian Mayoh,Enn Tyugu,Jaan Penjam
  • Publisher : Springer Science & Business Media
  • Release Date : 2013-11-21
  • Total pages : 456
  • ISBN : 0081004648
GET BOOK

Summary : Constraint programming is like an octopus spreading its tentacles into databases, operations research, artificial intelligence, and many other areas. The concept of constraint programming was introduced in artificial intelligence and graphics in the 1960s and 1970s. Now the related techniques are used and studied in many fields of computing. Different ...

Parallelism and Implementation of Logic and Constraint Logic Programming

Parallelism and Implementation of Logic and Constraint Logic Programming
  • Author : Ines de Castro Dutra,Inês Dutra,Enrico Pontelli
  • Publisher : Nova Science Pub Incorporated
  • Release Date : 1999
  • Total pages : 351
  • ISBN : 0081004648
GET BOOK

Summary : One of the main areas of research in logic programming is the design and implementation of sequential and parallel (constraint) logic programming systems. This research goes broadly from the design and specification of novel implementation technology to its actual evaluation in real life situations. This book includes topics such as ...

Principles and Practice of Declarative Programming

Principles and Practice of Declarative Programming
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2005
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Principles and Practice of Declarative Programming written by , published by which was released on 2005. Get Principles and Practice of Declarative Programming Books now! Available in PDF, ePub and Kindle....

Logic based Program Synthesis and Transformation

Logic based Program Synthesis and Transformation
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2003
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Logic based Program Synthesis and Transformation written by , published by which was released on 2003. Get Logic based Program Synthesis and Transformation Books now! Available in PDF, ePub and Kindle....

Static Analysis

Static Analysis
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2003
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Static Analysis written by , published by which was released on 2003. Get Static Analysis Books now! Available in PDF, ePub and Kindle....

Proceedings of the Trends in Electronics Conference

Proceedings of the Trends in Electronics Conference
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 1989
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Proceedings of the Trends in Electronics Conference written by , published by which was released on 1989. Get Proceedings of the Trends in Electronics Conference Books now! Available in PDF, ePub and Kindle....

Library Information Science Abstracts

Library   Information Science Abstracts
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2006
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Library Information Science Abstracts written by , published by which was released on 2006. Get Library Information Science Abstracts Books now! Available in PDF, ePub and Kindle....

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems
  • Author : Association for Computing Machinery
  • Publisher : Unknown
  • Release Date : 2004
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online ACM Transactions on Programming Languages and Systems written by Association for Computing Machinery, published by which was released on 2004. Get ACM Transactions on Programming Languages and Systems Books now! Available in PDF, ePub and Kindle....

Programming Languages Implementations Logics and Programs

Programming Languages  Implementations  Logics  and Programs
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 1995
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Programming Languages Implementations Logics and Programs written by , published by which was released on 1995. Get Programming Languages Implementations Logics and Programs Books now! Available in PDF, ePub and Kindle....

Verification Model Checking and Abstract Interpretation

Verification  Model Checking  and Abstract Interpretation
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 2004
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Verification Model Checking and Abstract Interpretation written by , published by which was released on 2004. Get Verification Model Checking and Abstract Interpretation Books now! Available in PDF, ePub and Kindle....

Proceedings of the Symposium on Partial Evaluation and Semantics Based Program Manipulation

Proceedings of the Symposium on Partial Evaluation and Semantics Based Program Manipulation
  • Author : Anonim
  • Publisher : Unknown
  • Release Date : 1995
  • Total pages : 212
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online Proceedings of the Symposium on Partial Evaluation and Semantics Based Program Manipulation written by , published by which was released on 1995. Get Proceedings of the Symposium on Partial Evaluation and Semantics Based Program Manipulation Books now! Available in PDF, ePub and Kindle....

IJCAI 05

IJCAI 05
  • Author : Leslie Pack Kaelbling
  • Publisher : Unknown
  • Release Date : 2005
  • Total pages : 1779
  • ISBN : 0081004648
GET BOOK

Summary : Download or read online IJCAI 05 written by Leslie Pack Kaelbling, published by which was released on 2005. Get IJCAI 05 Books now! Available in PDF, ePub and Kindle....