๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Repeated Redundant Inequalities in Constraint Logic Programming

โœ Scribed by Spiro Michaylov

Book ID
112252333
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
362 KB
Volume
142
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Experiments in reactive constraint logic
Experiments in reactive constraint logic programming
โœ Francois Fages; Julian Fowler; Thierry Sola ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 872 KB

In this paper we study a reactive extension of constraint logic programming (CLP). Our primary concerns are search problems in a dynamic environment, where interactions with the user (e.g. in interactive multi-criteria optimization problems) or interactions with the physical world (e.g. in time evol

Constraint Satisfaction in Distributed C
Constraint Satisfaction in Distributed Concurrent Logic Programming
โœ HO-FUNG LEUNG; KEITH L. CLARK ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 602 KB

In constraint logic programming, unification is replaced by more general constraint satisfaction. To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the 'ask'-constraints with respect to the current c