Login / Signup
VerifyThis 2018 - Polished Isabelle Solutions.
Peter Lammich
Simon Wimmer
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
trade off
theorem prover
optimal solution
neural network
artificial intelligence
computer vision
search space
sufficient conditions