CASC-23
The CADE-23 ATP System Competition
History
Aims and Motivations
Divisions
CASC-23
Entrants
Results ...
Overall Results
LTB Results
Jasmin Blanchette - ISA prize award (here's
why
)
Adam Pease - SMO prize award
Developer presentations ...
Chad Brown - how
Satallax
got so high in the order
Orkunt Sabuncu - was
FIMO
was almost a Paradox?
Uwe Waldmann - why
SPASS+T
is more fun than Z3
Stephan Schulz - how
E
slayed the Vampire
Andrei Voronkov - why Vampires like LTB blood
Thanks
Conclusion
Questions ... for me or the system developers
