Login / Signup

Elimination of truncation and round off error and enhancement of stability using a new split loop DPLL.

Surjadeep SarkarBasab ChatterjeeUjjwal MaulikBaidyanath Biswas
Published in: Int. J. Commun. Syst. (2012)
Keyphrases
  • error rate
  • np complete
  • image enhancement
  • sat solvers
  • propositional logic
  • multiscale
  • image processing
  • error bounds
  • stability analysis
  • first order logic
  • sat solving