Login / Signup

An effective probability distribution SAT solver on reconfigurable hardware.

Ali Asgar SohanghpurwalaPeter M. Athanas
Published in: ReConFig (2016)
Keyphrases
  • probability distribution
  • sat solvers
  • low cost
  • signal processing
  • orders of magnitude
  • constraint satisfaction
  • sat instances
  • reconfigurable hardware
  • image processing
  • simulated annealing
  • np complete
  • highly efficient