Harald Ganzinger

Best Publications

• Resolution Theorem Proving

  Unknown

  552
  Citations

• DPLL(T): Fast Decision Procedures

  Harald Ganzinger;George Hagen;Robert Nieuwenhuis;Albert Oliveras

  446
  Citations

• Rewrite-based Equational Theorem Proving with Selection and Simplification

  Unknown

  399
  Citations

• Basic paramodulation

  Leo Bachmair;Harald Ganzinger;Christopher Lynch;Wayne Snyder

  216
  Citations

• Attribute coupled grammars

  Harald Ganzinger;Robert Giegerich

  177
  Citations

• Basic Paramodulation and Superposition

  Leo Bachmair;Harald Ganzinger;Christopher Lynch;Wayne Snyder

  155
  Citations

• Programs as Data Objects

  Harald Ganzinger;Neil D. Jones

  142
  Citations

• On restrictions of ordered paramodulation with simplification

  Unknown

  116
  Citations

• Refutational theorem proving for hierarchic first-order theories

  Unknown

  104
  Citations

• Set constraints are the Monadic class

  Unknown

  103
  Citations

• New directions in instantiation-based theorem proving

  Unknown

  98
  Citations

• A truly generative semantics-directed compiler generator

  Harald Ganzinger;Robert Giegerich;Ulrich Möncke;Reinhard Wilhelm

  86
  Citations

• Automated complexity analysis based on ordered resolution

  David Basin;Harald Ganzinger

  83
  Citations

• Proceedings of the 16th International Conference on Automated Deduction (CADE-16)

  Unknown

  77
  Citations

• Logical Algorithms

  Harald Ganzinger;David A. McAllester

  74
  Citations

• Equational Reasoning in Saturation-Based Theorem Proving

  Unknown

  73
  Citations

• A New Meta-complexity Theorem for Bottom-Up Logic Programs

  Harald Ganzinger;David A. McAllester

  64
  Citations

• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

  Unknown

  61
  Citations

• A completion procedure for conditional equations

  Unknown

  59
  Citations

• Automatic Generation of Optimizing Multipass Compilers.

  Harald Ganzinger;Knut Ripken;Reinhard Wilhelm

  52
  Citations