Keyphrases
- np complete
- theorem proving
- theorem prover
- neural network
- np hard
- web service composition
- web services composition
- formal proofs
- mathematical proofs
- information technology
- database systems
- artificial intelligence
- service oriented
- information retrieval
- data sets
- composition of web services
- cut elimination
- formal proof