UniCalc.LIN: a linear constraint solver for the UniCalc system
Evgueni PetrovYuri KostovElena BotoevaPublished in: CoRR (2006)
Keyphrases
- constraint solver
- linear constraints
- constraint solving
- constraint programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- special case
- constraint logic programming
- computational complexity
- information retrieval
- relational databases
- search space
- programming language
- finite domain
- arc consistency algorithm