Login / Signup

CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse.

Lilian JaninDoug Edwards
Published in: ICCSA (3) (2007)
Keyphrases
  • constraint satisfaction problems
  • constraint satisfaction
  • modeling method
  • decomposition methods
  • higher level
  • constraint propagation
  • arc consistency
  • levels of abstraction