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 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

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 2011

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

Principles and Practice of Constraint Programming CP 2002

Principles and Practice of Constraint Programming   CP 2002
Author: Pascal Van Hentenryck
Publisher: Springer
Relase: 2003-08-02
ISBN: 9783540461357
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-09-06
ISBN: 9783540749691
GET BOOK

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Laurent Perron,Michael A. Trick
Publisher: Springer Science & Business Media
Relase: 2008-05-08
ISBN: 9783540681540
GET BOOK

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Tobias Achterberg,J. Christopher Beck
Publisher: Springer
Relase: 2011-05-05
ISBN: 9783642213113
GET BOOK

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming
Author: John Hooker
Publisher: Springer
Relase: 2018-08-22
ISBN: 9783319983349
GET BOOK

Formal Methods FM 2019 International Workshops

Formal Methods  FM 2019 International Workshops
Author: Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Campos,Troy Astarte,Laure Gonnord,Antonio Cerone,Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas
Publisher: Springer Nature
Relase: 2020-08-10
ISBN: 9783030549978
GET BOOK

Integration of AI and OR Techniques in Constraint Programming

Integration of AI and OR Techniques in Constraint Programming
Author: Domenico Salvagnin,Michele Lombardi
Publisher: Springer
Relase: 2017-05-30
ISBN: 9783319597768
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

Programming Languages and Systems

Programming Languages and Systems
Author: Peter Thiemann
Publisher: Springer
Relase: 2016-03-21
ISBN: 9783662494981
GET BOOK

Principles of Abstract Interpretation

Principles of Abstract Interpretation
Author: Patrick Cousot
Publisher: MIT Press
Relase: 2021-09-21
ISBN: 9780262044905
GET BOOK

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation
Author: M. Leuschel
Publisher: Springer
Relase: 2003-08-03
ISBN: 9783540450139
GET BOOK