Login / Signup

Spatial and temporal design debug using partial MaxSAT.

Yibin ChenSean SafarpourAndreas G. VenerisJoão P. Marques Silva
Published in: ACM Great Lakes Symposium on VLSI (2009)
Keyphrases
  • spatial and temporal
  • spatio temporal
  • space time
  • design process
  • upper bound
  • video frames
  • spatial context
  • temporal domain