VerifyThis 2019 - Polished Isabelle Solutions.

Peter Lammich Simon Wimmer

Published in: Arch. Formal Proofs (2019)

Keyphrases

optimal solution
benchmark problems
solution quality
similar problems
database systems
scheduling problem