Login / Signup
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
Philippe Codognet
François Fages
Thierry Sola
Published in:
WCLP (1991)
Keyphrases
</>
general purpose
constraint logic programming
programming language
constraint propagation
artificial intelligence
knowledge base
combining multiple
intelligent systems
distributed memory machines
real time
object level
search tree
search space
search algorithm
high level
case study
machine learning