Abstract Domains in Constraint Programming

  • 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

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

Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming
Author: Maurice Bruynooghe,Jaan Penjam
Publisher: Springer
Relase: 1993-08-13
ISBN: 3540571868
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

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 Constraint Programming CP 95

Principles and Practice of Constraint Programming   CP  95
Author: Ugo Montanari,CP ̕ 95 (1995 : Cassis, France)
Publisher: Springer Science & Business Media
Relase: 1995-09-06
ISBN: 3540602992
GET BOOK

ECAI 2020

ECAI 2020
Author: G. De Giacomo,A. Catala,B. Dilkina
Publisher: IOS Press
Relase: 2020-09-11
ISBN: 9781643681016
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

Principles and Practice of Constraint Programming CP 2007

Principles and Practice of Constraint Programming   CP 2007
Author: Christian Bessiere
Publisher: Springer Science & Business Media
Relase: 2007-10-11
ISBN: 9783540749707
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

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Author: Anonim
Publisher: Unknown
Relase: 1998
ISBN: UOM:39015047388528
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