Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF RG1 Publications , MPG Format, generated: Thursday, December 08, 2016

Scientific Publications for 2014

Kapur, D., Z. Zhang, M. Horbach, H. Zhao, Q. Lu and T. Nguyen: Geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants. In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, LNAI 7788, (Eds.) M.P. Bonacina, M.E. Stickel. Springer, Berlin 2014, 189-228.