HIERARCHICAL ARC CONSISTENCY FOR DISJOINT REAL INTERVALS IN CONSTRAINT LOGIC PROGRAMMING
- 1 November 1992
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 8 (4) , 601-623
- https://doi.org/10.1111/j.1467-8640.1992.tb00381.x
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An introduction to Prolog IIICommunications of the ACM, 1990
- Constraint Logic Programming Language CALPublished by Springer Nature ,1988
- Constraint propagation with interval labelsArtificial Intelligence, 1987
- Arc and path consistency revisitedArtificial Intelligence, 1986
- The complexity of some polynomial network consistency algorithms for constraint satisfaction problemsArtificial Intelligence, 1985
- A generalized interval package and its use for semantic checkingACM Transactions on Mathematical Software, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- Consistency in networks of relationsArtificial Intelligence, 1977