Login / Signup

SlackHammer: Logic Synthesis for Graceful Errors Under Frequency Scaling.

Tanfer AlanJörg Henkel
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
  • logic synthesis
  • multi valued
  • heuristic search
  • quantum computing
  • inductive learning
  • logic circuits
  • relational databases
  • moving objects
  • knowledge representation
  • state space
  • first order logic