for the paper "General Matings" published in the CADE-4
proceedings in 1979. The paper is recognised for its invention of the
generalised mating method for constructing refutations of formulas in
negation normal form. This development paved the ground for the
subsequent construction of many non-resolution methods in automated
deduction, including the well-known connection method.
Presented at CADE-27
The 27th International Conference on Automated Deduction August, 2019
Christoph Weidenbach President of CADE, Inc. PRE> The Skolem Award Committee consisted of Alesxander Leitsch (chair),
Peter Baumgartner, James Brotherston, Laura Kovacs, Hans de Nivelle,
Nicolas Peltier, Renate Schmidt.
Information about the Sklem Award