Abstract Domains in Constraint Programming

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

Produk Detail:

  • Author : Marie Pelleau
  • Publisher : Elsevier
  • Pages : 176 pages
  • ISBN : 0081004648
  • Rating : 4/5 from 21 reviews
CLICK HERE TO GET THIS BOOKAbstract Domains in Constraint Programming

Abstract Domains in Constraint Programming

Abstract Domains in Constraint Programming
  • Author : Marie Pelleau
  • Publisher : Elsevier
  • Release : 20 May 2015
GET THIS BOOKAbstract Domains in Constraint Programming

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

Principles and Practice of Constraint Programming - CP 2012

Principles and Practice of Constraint Programming - CP 2012
  • Author : Michela Milano
  • Publisher : Springer
  • Release : 03 October 2012
GET THIS BOOKPrinciples and Practice of Constraint Programming - CP 2012

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 the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) The second

Constraint Programming

Constraint Programming
  • Author : Brian Mayoh,Enn Tyugu,Jaan Penjam
  • Publisher : Springer Science & Business Media
  • Release : 21 November 2013
GET THIS BOOKConstraint Programming

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 aspects of constraint processing are investigated in theoretical computer science, logic programming, knowledge representation, operations research, and related application domains. Constraint programming has been included in the lists of related

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
  • Release : 06 September 1995
GET THIS BOOKPrinciples and Practice of Constraint Programming - CP '95

This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation
  • Author : Roberto Giacobazzi,Josh Berdine,Isabella Mastroeni
  • Publisher : Springer
  • Release : 03 January 2013
GET THIS BOOKVerification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization,

Principles and Practice of Constraint Programming - CP 2007

Principles and Practice of Constraint Programming - CP 2007
  • Author : Christian Bessiere
  • Publisher : Springer Science & Business Media
  • Release : 11 October 2007
GET THIS BOOKPrinciples and Practice of Constraint Programming - CP 2007

This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. It contains 51 revised full papers and 14 revised short papers presented together with eight application papers and the abstracts of two invited lectures. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects to solving real-world problems in various application fields.

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning
  • Author : Nikolaj Bjørner,Andrei Voronkov
  • Publisher : Springer Science & Business Media
  • Release : 24 February 2012
GET THIS BOOKLogic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning
  • Author : Edmund M. Clarke,Andrei Voronkov
  • Publisher : Springer Science & Business Media
  • Release : 04 January 2011
GET THIS BOOKLogic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics.

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 : Andrea Lodi,Michela Milano,Paolo Toth
  • Publisher : Springer Science & Business Media
  • Release : 01 June 2010
GET THIS BOOKIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

This book constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. The 18 revised full papers and 17 revised short papers presented together with the extended abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. The papers are focused on both theoretical and practical, application-oriented issues and present current research with a special focus on the integration and hybridization

Recent Trends in Data Type Specification

Recent Trends in Data Type Specification
  • Author : Magne Haveraaen,Olaf Owe,Ole-Johan Dahl
  • Publisher : Springer Science & Business Media
  • Release : 04 September 1996
GET THIS BOOKRecent Trends in Data Type Specification

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Logic Programming

Logic Programming
  • Author : David S. Warren
  • Publisher : MIT Press
  • Release : 26 January 1993
GET THIS BOOKLogic Programming

The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems

Semirings for Soft Constraint Solving and Programming

Semirings for Soft Constraint Solving and Programming
  • Author : Stefano Bistarelli
  • Publisher : Springer Science & Business Media
  • Release : 24 February 2004
GET THIS BOOKSemirings for Soft Constraint Solving and Programming

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks. This book includes formal definitions and properties

Principles and Practice of Constraint Programming - CP 2006

Principles and Practice of Constraint Programming - CP 2006
  • Author : Frédéric Benhamou
  • Publisher : Springer Science & Business Media
  • Release : 26 September 2006
GET THIS BOOKPrinciples and Practice of Constraint Programming - CP 2006

This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. The 42 revised full papers and 21 revised short papers presented together with extended abstracts of four invited talks were carefully reviewed and selected from 142 submissions. All current issues of computing with constraints are addressed.

Handbook of Constraint Programming

Handbook of Constraint Programming
  • Author : Francesca Rossi,Peter van Beek,Toby Walsh
  • Publisher : Elsevier
  • Release : 18 August 2006
GET THIS BOOKHandbook of Constraint Programming

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics. The aim of this handbook is to capture the full breadth and depth of the constraint programming field and to be encyclopedic in its scope and coverage. While there are