Change search
ReferencesLink to record
Permanent link

Direct link
Sweep Synchronization as a Global Propagation Mechanism
Number of Authors: 3
2003 (English)Report (Refereed)
Abstract [en]

This paper presents a new generic filtering algorithm that simultaneously considers n conjunctions of constraints as well as those constraints mentioning some variables Yk of the pairs X,Yk (1<=k<=n) occurring in these conjunctions. The main benefit of this new technique comes from the fact that, for adjusting the bounds of a variable X according to n conjunctions, we do not perform n sweeps in an independent way but rather synchronize them. We then specializes this technique to the non-overlapping rectangles constraint where we consider the case where several rectangles of height one have the same X coordinate for their origin as well as the same length. For this specific constraint we come up with an incremental bipartite matching algorithm which is triggered while we sweep over the time axis. We illustrate the usefulness of this new pruning method on a timetabling problem, where each task can’t be interrupted and requires the simultaneous availability of n distinct persons. Each person has its own periods of unavailability and can only perform one task at a time.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2003, 1. , 19 p.
SICS Technical Report, ISSN 1100-3154 ; 2003:02
Keyword [en]
Constraint Programming, Non-overlapping, Sweep, Timetabling
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14224OAI: diva2:1035512
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(256 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 256 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link