Login / Signup

Synchronized Generation of Directed Tests Using Satisfiability Solving.

Xiaoke QinMingsong ChenPrabhat Mishra
Published in: VLSI Design (2010)
Keyphrases
  • sat encodings
  • combinatorial optimization
  • np complete
  • satisfiability problem
  • real time
  • phase transition
  • stochastic local search
  • sat solving
  • neural network
  • website
  • sat instances
  • terminological reasoning