Sign in
Auto2 Prover.
Bohua Zhan
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
theorem proving
theorem prover
automated theorem proving
genetic algorithm
pairwise
general purpose