Automated Theorem Proving Success
Date: October 16th. 2008
Manchester Computer Scientists have once again taken some of the top honours at the World Championship for 1st Order Automated Theorem Proving. The Championship, held this year as part of the Conference on Automated Deduction at the University of Miami, saw Professor Andrei Voronkov’s theorem proving system Vampire win the FOF and CNF categories for the 7th year running.
Konstantin Korovin's system iProver took the top award in the EPR category.
Further information:
Automated Theorem
Proving Competition
Professor Andrei Voronkov's homepage.
Theorem Proving and Vampire.