2-SAT based linear time optimum two-domain clock skew scheduling.

Yukihide Kohira Atsushi Takahashi

Published in: ASP-DAC (2014)

Keyphrases

scheduling problem
domain independent
high speed
objective function
domain specific
domain experts
transfer learning
answer set programming