Inproceedings,

An Algebraic Approach to Multi-sorted Constraints.

, and .
CP, volume 2833 of Lecture Notes in Computer Science, page 183-198. Springer, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews