Efficient Simulation of CSP-Like Languages.

Thomas Gibson-Robinson

Published in: CPA (2013)

Keyphrases

expressive power
constraint satisfaction problems
cost effective
constraint propagation
case study
np complete
constraint satisfaction