On the Use of CSP Semantic Information in SAT Models.
Claudia Vasconcellos-GaeteVincent BarichardFrédéric LardeuxPublished in: Res. Comput. Sci. (2019)
Keyphrases
- semantic information
- wordnet
- semantic knowledge
- semantic analysis
- data sets
- domain knowledge
- low level features
- structural information
- keywords
- semantic meaning
- syntactic information
- artificial intelligence
- search engine
- metadata
- low level
- decision trees
- np hard
- constraint satisfaction problems
- visual information
- satisfiability problem
- semantic features
- database
- high level