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

Principles and Practice of Constraint Programming -- CP 2011

Principles and Practice of Constraint Programming -- CP 2011
  • Author : Jimmy Lee
  • Publisher : Springer
  • Release : 01 September 2011
GET THIS BOOKPrinciples and Practice of Constraint Programming -- CP 2011

This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perugia, Italy, September 12-16, 2011. The 51 revised full papers and 7 short papers presented together with three invited talks were carefully reviewed and selected from 159 submissions. The papers are organized in topical sections on algorithms, environments, languages, models and systems, applications such as decision making, resource allocation and agreement technologies.

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming
  • Author : John Hooker
  • Publisher : Springer
  • Release : 22 August 2018
GET THIS BOOKPrinciples and Practice of Constraint Programming

This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: main technical

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

Principles and Practice of Constraint Programming - CP 2002

Principles and Practice of Constraint Programming - CP 2002
  • Author : Pascal Van Hentenryck
  • Publisher : Springer
  • Release : 02 August 2003
GET THIS BOOKPrinciples and Practice of Constraint Programming - CP 2002

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002. The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.

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
  • Release : 05 May 2011
GET THIS BOOKIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. The 13 revised full papers and 7 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 35 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 of the approaches of

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
  • Publisher : Springer Science & Business Media
  • Release : 08 May 2008
GET THIS BOOKIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

This book constitutes the refereed proceedings of the 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2008, held in Paris, France, in May 2008. The 18 revised long papers and 22 revised short papers presented together with 3 invited talks were carefully reviewed and selected from 130 submissions. The papers describe current research in the fields of constraint programming, artificial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration 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 : 06 September 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

From Model-Driven Design to Resource Management for Distributed Embedded Systems

From Model-Driven Design to Resource Management for Distributed Embedded Systems
  • Author : Bernd Kleinjohann,Lisa Kleinjohann,Ricardo J. Machado,Carlos Pereira,P.S. Thiagarajan
  • Publisher : Springer
  • Release : 29 January 2007
GET THIS BOOKFrom Model-Driven Design to Resource Management for Distributed Embedded Systems

From Model-Driven Design to Resource Management for Distributed Embedded Systems presents 16 original contributions and 12 invited papers presented at the Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, sponsored by the International Federation for Information Processing - IFIP. Coverage includes model-driven design, testing and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming
  • Author : Alan Borning
  • Publisher : Springer Science & Business Media
  • Release : 12 October 1994
GET THIS BOOKPrinciples and Practice of Constraint Programming

This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation