Login / Signup
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
Agostino Dovier
Carla Piazza
Gianfranco Rossi
Published in:
ACM Trans. Comput. Log. (2008)
Keyphrases
</>
constraint solving
constraint satisfaction
constraint propagation
constraint logic programming
real valued
neural network
constraint satisfaction problems
constraint solver
search space
mobile robot
constraint programming
qualitative and quantitative