Login / Signup

Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits.

Gianpiero CabodiLeandro DipietroMarco MurcianoSergio Nocco
Published in: HLDVT (2009)
Keyphrases
  • preserving transformations
  • computer vision
  • search space
  • data management
  • metric space
  • constraint solver