Sign in

Proof Learning in PVS With Utility Pattern Mining.

M. Saqib NawazPhilippe Fournier-VigerJi Zhang
Published in: IEEE Access (2020)
Keyphrases
  • pattern mining
  • data mining
  • reinforcement learning
  • mining algorithm
  • frequent patterns
  • frequent pattern mining
  • data structure
  • data mining techniques
  • graph databases