Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Publications
Date
Featured collections
Popular topics
32 results for Ibrahim Abdelaziz
Large-scale structural and textual similarity-based mining of knowledge graph to predict drug–drug interactions
- Ibrahim Abdelaziz
- Achille Fokoue
- et al.
- 2017
- Journal of Web Semantics