Login / Signup

Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.

Gianpiero CabodiPaolo CamuratiMarco PalenaPaolo PasiniDanilo Vendraminetto
Published in: FMCAD (2016)
Keyphrases
  • logic synthesis
  • multi valued
  • quantum computing
  • logic circuits
  • heuristic search
  • inductive learning
  • databases
  • planning problems
  • high speed
  • inductive logic programming