Login / Signup

Short refutations for an equivalence-chain principle for constant-depth formulas.

Sam BussRamyaa Ramyaa
Published in: Math. Log. Q. (2018)
Keyphrases
  • depth information
  • theorem prover
  • depth cues
  • databases
  • genetic algorithm