Login / Signup

Mixed Parallel Execution of Algorithms for Satisfiability Problem.

Kairong ZhangMasahiro Nagamatu
Published in: Intelligent Information Processing (2004)
Keyphrases
  • satisfiability problem
  • parallel execution
  • stochastic local search algorithms
  • stochastic local search
  • temporal logic
  • np complete
  • orders of magnitude
  • phase transition
  • databases
  • data mining
  • parallel architectures