Login / Signup

Optimal SAT-based Minimum Adder Synthesis of Linear Transformations.

Shenghou MaPaul Ampadu
Published in: MWSCAS (2019)
Keyphrases
  • linear transformations
  • linear transformation
  • locally optimal
  • optimal solution
  • search space
  • answer set programming
  • linear model
  • image features
  • planning problems