Keyphrases
- satisfiability problem
- propositional logic
- phase transition
- computational complexity
- nested relations
- hierarchical data
- decision procedures
- information retrieval
- evolutionary algorithm
- machine learning
- np complete
- normal form
- compositional semantics
- database
- computational properties
- sat problem
- temporal logic
- hierarchical structure
- search algorithm
- information systems
- artificial intelligence
- real time