Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction.
Michael SannellaPublished in: ACM Symposium on User Interface Software and Technology (1994)
Keyphrases
- constraint solver
- user interface
- constraint solving
- constraint propagation
- constraint programming
- constraint satisfaction problems
- linear constraints
- arc consistency algorithm
- constraint satisfaction
- real numbers
- constraint solvers
- artificial intelligence
- finite number
- programming language
- rough sets
- constraint logic programming
- expert systems