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

Constraint Programming

Constraint Programming
Author: Brian Mayoh,Enn Tyugu,Jaan Penjam
Publisher: Springer Science & Business Media
Relase: 2013-11-21
ISBN: 9783642859830
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: Alan Borning
Publisher: Springer Science & Business Media
Relase: 1994-10-12
ISBN: 3540586016
GET BOOK

Analysis and Visualization Tools for Constraint Programming

Analysis and Visualization Tools for Constraint Programming
Author: Pierre Deransart,M.V. Hermenegildo,J. Maluszynski
Publisher: Springer
Relase: 2006-12-31
ISBN: 9783540400165
GET BOOK

A Unifying Framework for Integer and Finite Domain Constraint Programming

A Unifying Framework for Integer and Finite Domain Constraint Programming
Author: Alexander Bockmayr,Thomas Kasper
Publisher: Unknown
Relase: 1997
ISBN: OCLC:39081788
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

ERCIM CologNet 2002

ERCIM CologNet 2002
Author: Barry O'Sullivan
Publisher: Springer Science & Business Media
Relase: 2003-04-07
ISBN: 9783540009863
GET BOOK

Static Analysis

Static Analysis
Author: Patrick Cousot
Publisher: Springer
Relase: 2003-05-15
ISBN: 9783540477648
GET BOOK

Principles and Practice of Constraint Programming

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

Principles and Practice of Constraint Programming CP 2011

Principles and Practice of Constraint Programming    CP 2011
Author: Jimmy Lee
Publisher: Springer
Relase: 2011-09-01
ISBN: 9783642237867
GET BOOK

Verification Model Checking and Abstract Interpretation

Verification  Model Checking  and Abstract Interpretation
Author: Roberto Giacobazzi,Josh Berdine,Isabella Mastroeni
Publisher: Springer
Relase: 2013-01-03
ISBN: 9783642358739
GET BOOK

A Tutorial on Constraint Programming

A Tutorial on Constraint Programming
Author: B. M. Smith,University of Leeds. School of Computer Studies
Publisher: Unknown
Relase: 1995
ISBN: OCLC:35648984
GET BOOK

Principles and Practice of Constraint Programming CP 2001

Principles and Practice of Constraint Programming   CP 2001
Author: Toby Walsh
Publisher: Springer Science & Business Media
Relase: 2001-11-14
ISBN: 9783540428633
GET BOOK

A 25 Year Perspective on Logic Programming

A 25 Year Perspective on Logic Programming
Author: Agostino Dovier,Enrico Pontelli
Publisher: Springer
Relase: 2010-06-26
ISBN: 9783642143090
GET BOOK