Change search
ReferencesLink to record
Permanent link

Direct link
A geometric constraint over k-dimensional objects and shapes subject to business rules
Number of Authors: 4
2008 (English)In: Proc. CP'2008, Springer-Verlag , 2008, 2, Vol. 5202, 15 p.220-234 p.Conference paper (Refereed)
Abstract [en]

This report presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rules are rewritten to Quantifier-Free Presburger Arithmetic (QFPA) formulas. Secondly, such formulas are compiled to generators of k-dimensional forbidden sets. Such generators are a generalization of the indexicals of cc(FD). Finally, the forbidden sets generated by such indexicals are aggregated by a sweep-based algorithm and used for filtering. The business rules allow to express a great variety of packing and placement constraints, while admitting efficient and effective filtering of the domain variables of the k-dimensional object, without the need to use spatial data structures. The constraint was used to directly encode the packing knowledge of a major car manufacturer and tested on a set of real packing problems under these rules, as well as on a packing-unpacking problem.

Place, publisher, year, edition, pages
Springer-Verlag , 2008, 2. Vol. 5202, 15 p.220-234 p.
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-15110DOI: 10.1007/978-3-540-85958-1_15OAI: diva2:1036404
CP 2008: 14th International Conference on Principles and Practice of Constraint Programming
Published in Lecture Notes in Computer Science; Volume 5202Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

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

Other links

Publisher's full textDOI
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
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

Altmetric score

ReferencesLink to record
Permanent link

Direct link