Login / Signup

Towards Finding Longer Proofs.

Zsolt ZomboriAdrián CsiszárikHenryk MichalewskiCezary KaliszykJosef Urban
Published in: TABLEAUX (2021)
Keyphrases
  • artificial neural networks
  • real world
  • cooperative
  • preprocessing
  • theorem proving
  • decision procedures