Login / Signup
Constraint solving in non-permutative nominal abstract syntax
Matthew R. Lakin
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
high level
constraint programming
natural language
low level
constraint solvers
data structure
search space
logic programming
orders of magnitude