• SAT
  • Automatic proofs
  • Database Ontology
  • Deep learning