NDLI: View-based propagation of decomposable constraints

Please wait, while we are loading the content...

View-based propagation of decomposable constraints

Content Provider	Springer Nature Link
Author	Correia, Marco Barahona, Pedro
Copyright Year	2013
Abstract	Constraints that may be obtained by composition from simpler constraints are present, in some way or another, in almost every constraint program. The decomposition of such constraints is a standard technique for obtaining an adequate propagation algorithm from a combination of propagators designed for simpler constraints. The decomposition approach is appealing in several ways. Firstly because creating a specific propagator for every constraint is clearly infeasible since the number of constraints is infinite. Secondly, because designing a propagation algorithm for complex constraints can be very challenging. Finally, reusing existing propagators allows to reduce the size of code to be developed and maintained. Traditionally, constraint solvers automatically decompose constraints into simpler ones using additional auxiliary variables and propagators, or expect the users to perform such decomposition themselves, eventually leading to the same propagation model. In this paper we explore views, an alternative way to create efficient propagators for such constraints in a modular, simple and correct way, which avoids the introduction of auxiliary variables and propagators.
Starting Page	579
Ending Page	608
Page Count	30
File Format	PDF
ISSN	13837133
Journal	Constraints
Volume Number	18
Issue Number	4
e-ISSN	15729354
Language	English
Publisher	Springer US
Publisher Date	2013-02-07
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Constraint programming Propagation Views Artificial Intelligence (incl. Robotics) Optimization Computing Methodologies Operations Research/Decision Theory
Content Type	Text
Resource Type	Article
Subject	Discrete Mathematics and Combinatorics Artificial Intelligence Computational Theory and Mathematics Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

View-based propagator derivation

Constraint propagation on quadratic constraints

Models for Global Constraint Applications

Improved filtering for weighted circuit constraints

Grammar constraints

Redundant disequalities in the Latin Square problem

Qualitative modelling via constraint programming

Stochastic Constraint Programming: A Scenario-Based Approach

Explaining circuit propagation

View-based propagation of decomposable constraints

Similar Documents

View-based propagator derivation

Constraint propagation on quadratic constraints

Models for Global Constraint Applications

Improved filtering for weighted circuit constraints

Grammar constraints

Redundant disequalities in the Latin Square problem

Qualitative modelling via constraint programming

Stochastic Constraint Programming: A Scenario-Based Approach

Explaining circuit propagation

View-based propagation of decomposable constraints