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

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

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
  • Release : 30 May 2017
GET THIS BOOKIntegration of AI and OR Techniques in Constraint Programming

This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017. The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers

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

Constraint Networks

Constraint Networks
  • Author : Christophe Lecoutre
  • Publisher : John Wiley & Sons
  • Release : 01 March 2013
GET THIS BOOKConstraint Networks

A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem or the constraints involved, making it an extremely user-friendly resource

Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming
  • Author : Maurice Bruynooghe,Jaan Penjam
  • Publisher : Springer
  • Release : 13 August 1993
GET THIS BOOKProgramming Language Implementation and Logic Programming

This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote contacts and information exchange among scientists who share common interests in declarative programming techniques, logic programming, and programming languages imnplementation. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented, and constraint programming constitute the audience of PLILP. The volume contains three invited

2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)

2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)
  • Author : IEEE Staff
  • Publisher : Unknown Publisher
  • Release : 04 November 2019
GET THIS BOOK2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)

ICTAI 2019 The IEEE International Conference on Tools with Artificial Intelligence (ICTAI) is a leading Conference of AI in the Computer Society providing a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies The conference facilitates the cross fertilization of AI ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications The ICTAI encompasses all technical aspects of specifying, developing and

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.

Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse
  • Author : Krzysztof R. Apt,Mark Wallace
  • Publisher : Cambridge University Press
  • Release : 21 December 2006
GET THIS BOOKConstraint Logic Programming using Eclipse

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying methodology. Eclipse is exploited commercially by Cisco, and is freely available and used for teaching and research in over 500 universities. This book has a two-fold purpose. It's an introduction to constraint programming, appropriate for one-semester courses

Principles of Constraint Programming

Principles of Constraint Programming
  • Author : Krzysztof Apt
  • Publisher : Cambridge University Press
  • Release : 28 August 2003
GET THIS BOOKPrinciples of Constraint Programming

Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. It draws on methods from combinatorial optimisation and artificial intelligence, and has been successfully applied in a number of fields from scheduling, computational biology, finance, electrical engineering and operations research through to numerical analysis. This textbook for upper-division students provides a thorough and

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
  • Release : 16 April 1999
GET THIS BOOKParallelism and Implementation of Logic and Constraint Logic Programming

One of the main areas of research in logic programming is the design and implementation of sequential and parallel (constraint) logic programming systems. This research goes broadly from the design and specification of novel implementation technology to its actual evaluation in real life situations. This book includes topics such as the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these

Constraint-Based Scheduling

Constraint-Based Scheduling
  • Author : Philippe Baptiste,Claude Le Pape,Wim Nuijten
  • Publisher : Springer Science & Business Media
  • Release : 06 December 2012
GET THIS BOOKConstraint-Based Scheduling

Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the problem to be solved and (2) the algorithms and heuristics enabling the selection of decisions to solve the problem. It is because of these capabilities that Constraint Programming is increasingly being employed as a problem-solving tool to solve scheduling problems. Hence the development of Constraint-Based Scheduling as a field of study. The aim of