Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

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...

Page 1

Download Results (CSV)