Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen. Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. In Maria Paola Bonacina, Mark E. Stickel, editors, Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. Volume 7788 of Lecture Notes in Computer Science, pages 189-228, Springer, 2013. [doi]
Abstract is missing.