Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.
Aleksandar MilicevicJoseph P. NearEunsuk KangDaniel JacksonPublished in: ICSE (1) (2015)
Keyphrases
- object oriented
- constraint solver
- general purpose
- higher order
- relational databases
- data model
- programming language
- constraint solving
- constraint propagation
- constraint programming
- constraint satisfaction
- constraint satisfaction problems
- linear constraints
- natural images
- constraint logic programming
- arc consistency algorithm
- pairwise
- real numbers
- markov random field
- constraint solvers
- temporal constraints
- sat solvers
- data structure
- path consistency