Sign in

Synthesizing SystemC Code from Delay Hybrid CSP.

Gaogao YanLi JiaoShuling WangNaijun Zhan
Published in: APLAS (2017)
Keyphrases
  • constraint satisfaction problems
  • source code
  • constraint propagation
  • hybrid learning
  • decomposition methods
  • np hard
  • response time
  • constraint programming
  • non binary
  • tree decomposition