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: 3
2008 (English)Report (Other academic)
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
Swedish Institute of Computer Science , 2008, 1. , 37 p.
SICS Technical Report, ISSN 1100-3154 ; 2008:04
Keyword [en]
Global Constraint, Geometric Constraint, Rule, Sweep, Quantifier-Free Presburger Arithmetic
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14676OAI: diva2:1035969
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(414 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 414 kBChecksum SHA-512
Type fulltextMimetype application/pdf
fulltext(519 kB)0 downloads
File information
File name FULLTEXT02.psFile size 519 kBChecksum SHA-512
Type fulltextMimetype application/postscript

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