Вы здесь

Главная

Principles and Practice of Constraint Programming - CP 95

Связанные издания:

A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks
An Optimizing Compiler for CLP (R)
A Visual Constraint-Programming Environment
Constrained Dependencies (Extended Abstract)
Debugging Constraint Programs
Domain Independent Ask Approximation in CCP
First-order Definability over Constraint Databases
Guarded Constructive Disjunction: Angel or Demon?
Model-Based Computing: Using Concurrent Cinstraint Programming for Modeling and Model Compilation
On Similarity Queries for Time-Series Data: Constraint Specification and Implementation
On Termination of Constraint Logic Programs
Safe Stratified Datalog with Integer Order Programs
Situatted Simplification
Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic
The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces