Page 1

Displaying 1 – 9 of 9

Showing per page

Z specification of object oriented constraint programs.

Laurent Henocque (2004)

RACSAM

Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of difficulty. No universally accepted formal language exists for communicating about OOCPs, which makes...

Currently displaying 1 – 9 of 9

Page 1