CASC-J3
The 3rd IJCAR ATP System Competition
History
Aims and Motivations
Divisions
CASC-J3
Entrants
Results
Winner presentations
UEQ: Waldmeister 806 - Thomas Hillenbrand
EPR: Darwin 1.3 - Alex Fuchs
SAT: Paradox 1.3 - Koen Claessen
FOF, CNF: Vampire 8.1 - Andrei Voronkov
Conclusion
Thanks
