C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compact Proof Witnesses.
Marie-Christine Jakobs
Heike Wehrheim
Published in:
NFM (2017)
Keyphrases
</>
theorem proving
theorem prover
genetic algorithm
multiresolution
mathematical proofs
data sets
data mining
three dimensional
face recognition
reinforcement learning
search algorithm
digital libraries
hidden markov models
automated theorem proving