Login / Signup

Coverage-Driven Design Verification Using a Diverse SAT Solver.

Yosuke KakiuchiKiyoharu Hamaguchi
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2017)
Keyphrases
  • sat solvers
  • search engine
  • upper bound
  • co occurrence
  • simulated annealing
  • optimization problems
  • sat solving