Synthesizing SystemC Code from Delay Hybrid CSP.

Gaogao Yan Li Jiao Shuling Wang Naijun Zhan

Published in: CoRR (2017)

Keyphrases

constraint satisfaction problems
source code
hybrid learning
critical path
learning algorithm
information systems
constraint satisfaction
constraint programming
tree decomposition