Extensible automated constraint modelling via refinement of abstract problem specifications.

Published in: Constraints An Int. J. (2017)

Keyphrases

high level
state machines
semi automated
data model
markup language
linear constraints
object oriented
computer aided
abstract data types
highly flexible
learning algorithm
artificial intelligence
low level
query language
fully automated
constrained minimization