Login / Signup

SAT-Sweeping Enhanced for Logic Synthesis.

Luca G. AmarùFelipe S. MarranghelloEleonora TestaChristopher CasaresVinicius N. PossaniJiong LuoPatrick VuillodAlan MishchenkoGiovanni De Micheli
Published in: DAC (2020)
Keyphrases
  • logic synthesis
  • multi valued
  • quantum computing
  • sat solvers
  • heuristic search
  • inductive learning
  • search algorithm
  • satisfiability problem
  • image sequences
  • low cost
  • sat problem