1  Home/Search
Context
Related
| sics.se/~matsc/ASTEC/Plan/fd.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/~matsc/ASTEC/vocal (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction We propose to advance the use of finite domain constraints, and their associated solver algorithms, in industrial research and development. This initiative has already been taken in France, where companies such as Cosytec, ILOG, and EDS are successfully applying such techniques in a wide range of industrial applications. In the following we focus on two major areas of applications: optimizing resource allocation and verifying control system specifications. However, finite domain... (Update)
Active bibliography (related documents): More All
0.3: Fast Optimal Instruction Scheduling for Single-issue.. - van Beek, Wilken (2001) (Correct)
0.3: Over-Constrained Systems in CLP and CSP - Jampel (1996) (Correct)
0.1: Entailment of Finite Domain Constraints - Carlson, Carlsson, Diaz (1994) (Correct)
Similar documents based on text: More All
0.2: Specialising Finite Domain Programs Using Polyhedra - Howe, King (Correct)
0.1: A Tutorial on Constraint Programming - Smith (1995) (Correct)
0.1: A Generic Object-Oriented Constraint Based Model for.. - Zervoudakis.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ nd-finite,
author = "Gr Ou Nd",
title = "Finite Domain Constraints in Industrial Development 1.1 Background",
url = "citeseer.ist.psu.edu/248276.html" }
Citations (may not include all citations):267 The Constraint Logic Programming Language CHIP (context) - Dincbas, van Hentenryck et al. - 1988
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
70 Integrating Register Allocation and Instruction Scheduling f.. (context) - Bradlee - 1991
61 Extending CHIP in order to solve complex scheduling and plac.. (context) - Aggoun, Beldiceanu - 1993
49 Constraint Satisfaction using constraint logic programming (context) - Dincbas, Van Hentenryck et al. - 1992
7 Constraint Logic Programming over Finite Domains: the Design (context) - Van Hentenryck, Saraswat et al. - 1992
6 A Proof Theoretic Concept of Tautological Hardness (context) - Stalmarck - 1994
3 Optimal Instruction Scheduling using Constraint Logic Progra.. (context) - Ertl - 1991
1 SICStus Prolog (context) - Carlsson
1 Programming in AKL (context) - Carlson, Janson et al. - 1994
1 Grindal Automatic Frequency Assignment for Cellular Telephon.. (context) - Carlsson - 1993
Documents on the same site (http://www.sics.se/~matsc/ASTEC/vocal.html): More
VOCAL (ASTEC-A) Progress Report - Carlsson (1996) (Correct)
VOCAL (ASTEC-A) Progress Report - Carlsson (1997) (Correct)
VOCAL (ASTEC-A) Progress Report - Carlsson (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC