Abstract Domains in Constraint Programming

  • Author : Marie Pelleau
  • Publsiher : Elsevier
  • Release : 20 May 2015
  • ISBN : 9780081004647
  • Page : 176 pages
  • Rating : 4/5 from 21 voters

Download or read online book entitled Abstract Domains in Constraint Programming written by Marie Pelleau and published by Elsevier. This book was released on 20 May 2015 with total page 176 pages. Available in PDF, EPUB and Kindle. Get best books that you want by click Get Book Button and Read as many books as you like. 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
Relase: 2015-05-20
ISBN: 9780081004647
GET BOOK

Principles and Practice of Constraint Programming CP 2012

Principles and Practice of Constraint Programming   CP 2012
Author: Michela Milano
Publisher: Springer
Relase: 2012-10-03
ISBN: 9783642335587
GET BOOK

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming
Author: Anonim
Publisher: Unknown
Relase: 2003
ISBN: UOM:39015047964427
GET BOOK

Constraint Programming

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

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
Relase: 1999
ISBN: UOM:39015047874550
GET BOOK

Principles and Practice of Declarative Programming

Principles and Practice of Declarative Programming
Author: Anonim
Publisher: Unknown
Relase: 2005
ISBN: UOM:39015058743827
GET BOOK

Proceedings of the Trends in Electronics Conference

Proceedings of the Trends in Electronics Conference
Author: Anonim
Publisher: Unknown
Relase: 1989
ISBN: CORNELL:31924051032294
GET BOOK

Library Information Science Abstracts

Library   Information Science Abstracts
Author: Anonim
Publisher: Unknown
Relase: 2006
ISBN: UOM:39015066120612
GET BOOK

Verification Model Checking and Abstract Interpretation

Verification  Model Checking  and Abstract Interpretation
Author: Anonim
Publisher: Unknown
Relase: 2004
ISBN: UOM:39015047967354
GET BOOK

Logic based Program Synthesis and Transformation

Logic based Program Synthesis and Transformation
Author: Anonim
Publisher: Unknown
Relase: 2003
ISBN: UOM:39015058879175
GET BOOK

IJCAI 05

IJCAI 05
Author: Leslie Pack Kaelbling
Publisher: Unknown
Relase: 2005
ISBN: UCSD:31822030088785
GET BOOK

Annales Societatis Mathematicae Polonae

Annales Societatis Mathematicae Polonae
Author: Polskie Towarzystwo Matematyczne
Publisher: Unknown
Relase: 1998
ISBN: UOM:39015047390466
GET BOOK

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems
Author: Association for Computing Machinery
Publisher: Unknown
Relase: 2004
ISBN: UOM:39015058752430
GET BOOK

Sixth International Conference on Tools with Artificial Intelligence

Sixth International Conference on Tools with Artificial Intelligence
Author: Anonim
Publisher: Unknown
Relase: 1994
ISBN: 0818667877
GET BOOK

Proceedings

Proceedings
Author: Anonim
Publisher: Unknown
Relase: 1997
ISBN: UCAL:B5162543
GET BOOK