Solving the Clustering Problem in MANETs using SAT & ILP techniques.
Syed ZahidiFadi A. AloulAssim SagahyroonWassim El-HajjPublished in: ISSPA (2012)
Keyphrases
- clustering algorithm
- inductive logic programming
- stochastic local search
- k means
- sat solving
- clustering method
- self organizing maps
- cluster analysis
- sat instances
- weighted max sat
- sat encodings
- variable ordering
- boolean satisfiability
- max sat
- categorical data
- sat solvers
- data clustering
- unsupervised learning
- data points
- routing algorithm
- phase transition
- mobile ad hoc networks
- hierarchical clustering
- combinatorial optimization
- np complete problems
- logic programming
- search algorithm
- machine learning