P-adic Constraint Solving.

Andreas Dolzmann Thomas Sturm

Published in: ISSAC (1999)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
image sequences
learning algorithm
programming language
context aware