CASC-21
The CADE-21 ATP System Competition
History
Aims and Motivations
Divisions
CASC-21
Entrants
Results
Winner presentations
UEQ: Waldmeister 806 - Thomas Hillenbrand
EPR: Darwin 1.3 - Peter Baumgartner
SAT: Paradox 1.3 & FNT: Paradox 2.2 - Koen Claessen
FOF: Vampire 9.0 & CNF: Vampire 8.1 - Andrei Voronkov
Conclusion
Thanks
