Login / Signup
TCLP: A type checker for CLP(X).
Emmanuel Coquery
Published in:
WLPE (2003)
Keyphrases
</>
multiscale
constraint logic programming
real time
real world
metadata
cooperative
search algorithm
constraint programming