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

MPI-INF RG1 Publications, generated: 20:00, 16 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hantao Zhao, Qi Lu, and ThanhVu Nguyen
    Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
    In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 2014, 189-228
  2. Uwe Waldmann
    A Superposition Calculus for Divisible Torsion-Free Abelian Groups
    In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), Linz, Austria, October 27-28, 1997, 130-134
  3. Viorica Sofronie-Stokkermans
    Hierarchical reasoning and model generation for the verification of parametric hybrid systems
    In: Proceedings of the 24th International Conference on Automated Deduction (CADE-24), Lake Placid, New York, 2013, 360-376
  4. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Bounded Domains
    In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 2013, 68-100