Login / Signup

A geometric approach to register transfer level satisfiability.

Héctor NavarroSaeid NooshabadiJuan A. Montiel-NelsonVictor Navarro-BotelloJavier SosaJosé C. García
Published in: ISQED (2009)
Keyphrases
  • information retrieval
  • sat problem
  • real time
  • artificial intelligence
  • knowledge base
  • multiscale
  • expert systems
  • higher level
  • transfer learning
  • levels of abstraction