Login / Signup

SAT-Based Generation of Optimum Function Implementations with XOR Gates.

Petr FiserIvo HálecekJan Schmidt
Published in: DSD (2017)
Keyphrases
  • efficient implementation
  • neural network
  • orders of magnitude
  • sat solvers
  • generation process