Author:Olle Torstensson

Publications
EasyChair Preprint no. 8640

Keyphrases

floating-points, Sledgehammer, SMT solvers.