Transforming and Refining Abstract Constraint Specifications.

Alan M. Frisch Brahim Hnich Ian Miguel Barbara M. Smith Toby Walsh

Published in: SARA (2005)

Keyphrases

state machines
high level
search space
low level
data mining
linear constraints
semantic constraints
formal specification
constrained minimization
concurrent systems
asynchronous circuits
penalty function
control flow
higher level
multiscale
e learning
information retrieval