Research
Modeling Object Oriented Constraint Programs in Z
What this record says
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a
CATALOG · The abstract is indexed.
Sources and freshness
source · source backed
arxiv
Open public source
Search projection 8a339e17 · indexed Sep 11, 2026