Login / Signup

State Canonization and Early Pruning in Width-Based Automated Theorem Proving.

Mateus de Oliveira OliveiraFarhad Vadiee
Published in: FSCD (2024)
Keyphrases
  • automated theorem proving
  • theorem prover
  • neural network
  • search space
  • state space
  • data mining
  • machine learning
  • theorem proving
  • genetic algorithm
  • learning algorithm
  • relational databases