A methodology for managing hard constraints in CLP systems

Authors:
Joxan Jaffar;Spiro Michaylov;Roland H. C. Yap
Affiliations:
IBM T. J. Watson Research Ctr., P. O. Box 704, Yorktown Heights, NY;School of Computer Science, Carnegie Mellon University, Pittsburgh, PA;IBM T. J. Watson Research Ctr. P. O. Box 704, Yorktown Heights, NY
Venue:
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Year:
1991

Dataflow architectures

Annual review of computer science vol. 1, 1986
Opening the Prolog III universe

BYTE
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
I-structures: data structures for parallel computing

ACM Transactions on Programming Languages and Systems (TOPLAS)
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
The Definition and Implementation of a Computer Programming Language Based on Constraints

The Definition and Implementation of a Computer Programming Language Based on Constraints

An abstract machine for CLP(R)

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Propagation Completeness of Reactive Constraints

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Early Projection in CLP(R)

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Local consistency for extended CSPs

Theoretical Computer Science

Hi-index	0.00