A Multi-way Constraint Computational Model with Purple Constraint Solver for Direct Execution of the Specification
Toshio FukuiPublished in: CoRR (2011)
Keyphrases
- computational model
- constraint solver
- constraint solving
- linear constraints
- constraint programming
- constraint propagation
- constraint solvers
- constraint satisfaction problems
- constraint satisfaction
- computational models
- computational framework
- constraint logic programming
- real numbers
- finite domain
- cognitive architecture
- computational modeling
- cognitive modeling
- language acquisition
- sat solvers
- visual processing
- global constraints
- qualitative and quantitative
- arc consistency algorithm
- formal descriptions