• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Semi-automatic generation of CHR solvers from global constraint automata

Thumbnail
Download
vts_6322_8488.pdf (272.7Kb)
32 Seiten
 
Veröffentlichung
2008-02-27
DOI
10.18725/OPARU-978
Arbeitspapier


Authors
Raiser, Frank
Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Ulm serial
Ulmer Informatik-Berichte
License
Standard (Fassung vom 03.05.2003)
https://oparu.uni-ulm.de/xmlui/license_v1
Abstract
Constraint programming often involves global constraints, which have been catalogued in [1] and for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR solvers for the set of global constraints which can be defined by specific automata described in [2]. The solvers only need to be generated once and achieve arc-consistency for over 40 global constraints.
Date created
2008
Original publication
Ulmer Informatik-Berichte, Nr. 2008-03, Februar 2008
Subject Headings
CHR <Programmiersprache> [GND]
Constraint-Programmierung [GND]
Constraint programming (Computer science) [LCSH]
Keywords
Constraints; Global constraints
Dewey Decimal Group
DDC 004 / Data processing & computer science

Metadata
Show full item record

Citation example

Raiser, Frank (2008): Semi-automatic generation of CHR solvers from global constraint automata. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-978

Other citation formats



About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement