Sign in

Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis.

Masahiro FujitaMakoto IshisoneHiroshi NakamuraHidehiko TanakaTohru Moto-Oka
Published in: LP (1985)
Keyphrases
  • computational complexity
  • search space
  • np hard
  • optimal solution
  • dynamic programming
  • query language
  • constraint satisfaction
  • inference rules
  • image processing algorithms