A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation.
Wenqi HuangWei LiPublished in: J. Comput. Sci. Technol. (1998)
Keyphrases
- high efficiency
- high accuracy
- industrial applications
- detection algorithm
- memory space
- np hard
- dynamic programming
- objective function
- real and synthetic datasets
- k means
- propositional satisfiability
- expectation maximization
- computational complexity
- optimal solution
- search strategy
- randomly generated
- probabilistic model
- search space
- stochastic local search
- learning algorithm