Inproceedings,

A Finite Domain CLP Solver on Top of Mercury.

, , and .
New Trends in Constraints, volume 1865 of Lecture Notes in Computer Science, page 256-273. Springer, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews