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

MPI-INF RG1 Publications , MPG Format, generated: Thursday, 18. September 2014

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.