Entailment of finite domain constraints

Authors:
Björn Carlson;Mats Carlsson;Daniel Diaz
Affiliations:
-;-;-
Venue:
Proceedings of the eleventh international conference on Logic programming
Year:
1994

Citing 0
Cited 5

A Comparative Study of Eight Constraint Programming LanguagesOver the Boolean and Finite Domains

Constraints
Part-selection triptych: A representation, problem properties and problem definition, and problem-solving method

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Comparing three coordination models: Reo, ARC, and PBRD

Science of Computer Programming
Generating propagators for finite set constraints

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Towards solver-independent propagators

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract