Synthesizing SystemC Code from Delay Hybrid CSP.

Gaogao Yan Li Jiao Shuling Wang Naijun 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