CASC-14

The CADE-14 ATP System Competition

held at

The 14th International Conference on Automated Deduction


A competition for 1st order ATP systems was held at CADE-14, on Wednesday, 16th July, 1997. The competition was organized by Christian Suttner and Geoff Sutcliffe. The competition was overseen by a panel of knowledgeable researchers who were not participating in the event; the panel members were Alan Bundy, Claude Kirchner, and Jeff Pelletier. If you have any questions about the competition, please email the organizers.

Follow these links to:


Competition machines supplied by
Sun Educational Services, Australia.

Installation machines supplied by
Research Group Automated Reasoning,
Technische Universität München