Keyphrases
- satisfiability problem
- semantic analysis
- semantic knowledge
- semantic representation
- semantic description
- high level
- natural language
- active learning
- unsupervised learning
- semantic web
- np complete
- sat solvers
- neural network
- max sat
- search algorithm
- constraint satisfaction
- labeling scheme
- stochastic local search
- stochastic local search algorithms
- sat problem
- phase transition
- semantic similarity
- constraint satisfaction problems
- domain specific
- np hard
- image segmentation
- learning algorithm