- Home
- Abstract Domains in Constraint Programming
- Author : Marie Pelleau
- Publsiher : Elsevier
- Release : 20 May 2015
- ISBN : 0081004648
- Pages : 176 pages
- Rating : 4/5 from 21 reviews
GET THIS BOOKAbstract Domains in Constraint Programming
Read or download book entitled Abstract Domains in Constraint Programming written by Marie Pelleau which was release on 20 May 2015, this book published by Elsevier. Available in PDF, EPUB and Kindle Format. 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
- Author : Marie Pelleau
- Publisher : Elsevier
- Release Date : 2015-05-20
- Total pages : 176
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- Author : Michela Milano
- Publisher : Springer
- Release Date : 2012-10-03
- Total pages : 1015
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- Author : Ugo Montanari,CP ̕ 95 (1995 : Cassis, France)
- Publisher : Springer Science & Business Media
- Release Date : 1995-09-06
- Total pages : 650
- ISBN : 0081004648
GET BOOK
Summary : 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...
- Author : Roberto Giacobazzi,Josh Berdine,Isabella Mastroeni
- Publisher : Springer
- Release Date : 2013-01-03
- Total pages : 556
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- Author : Jimmy Lee
- Publisher : Springer
- Release Date : 2011-09-01
- Total pages : 836
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- Author : Christian Bessiere
- Publisher : Springer Science & Business Media
- Release Date : 2007-10-11
- Total pages : 887
- ISBN : 0081004648
GET BOOK
Summary : 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, ...
- Author : Tobias Achterberg,J. Christopher Beck
- Publisher : Springer Science & Business Media
- Release Date : 2011-05-13
- Total pages : 251
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- 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
- Release Date : 2020-08-10
- Total pages : 575
- ISBN : 0081004648
GET BOOK
Summary : This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium ...
- Author : Peter Thiemann
- Publisher : Springer
- Release Date : 2016-03-21
- Total pages : 806
- ISBN : 0081004648
GET BOOK
Summary : This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. ...
- Author : John Hooker
- Publisher : Springer
- Release Date : 2018-08-22
- Total pages : 765
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- Author : Domenico Salvagnin,Michele Lombardi
- Publisher : Springer
- Release Date : 2017-05-30
- Total pages : 420
- ISBN : 0081004648
GET BOOK
Summary : 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 ...
- Author : Pierre Deransart,M.V. Hermenegildo,J. Maluszynski
- Publisher : Springer
- Release Date : 2006-12-31
- Total pages : 370
- ISBN : 0081004648
GET BOOK
Summary : Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision ...
- Author : Patrick Cousot
- Publisher : MIT Press
- Release Date : 2021-09-21
- Total pages : 832
- ISBN : 0081004648
GET BOOK
Summary : Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods ...
- Author : M. Leuschel
- Publisher : Springer
- Release Date : 2003-08-03
- Total pages : 279
- ISBN : 0081004648
GET BOOK
Summary : The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections ...
- Author : Annalisa Bossi
- Publisher : Springer
- Release Date : 2006-12-30
- Total pages : 312
- ISBN : 0081004648
GET BOOK
Summary : This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open ...
