CASC-J11 - the 11th IJCAR ATP System Competition
2 views
Skip to first unread message
Geoff Sutcliffe
Aug 9, 2022, 2:20:03 AM8/9/22
to TPTP World
Hi TPTP World!
The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the
evolving summary of results at ...
https://www.tptp.org/CASC/J11/WWWFiles/DivisionSummary1.html
... and all the detailed results at ...
https://www.tptp.org/CASC/J11/RealTimeResults.html
You can read all about the competition at ...
https://www.tptp.org/CASC/J11/
Cheers,
Geoff
The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the
evolving summary of results at ...
https://www.tptp.org/CASC/J11/WWWFiles/DivisionSummary1.html
... and all the detailed results at ...
https://www.tptp.org/CASC/J11/RealTimeResults.html
You can read all about the competition at ...
https://www.tptp.org/CASC/J11/
Cheers,
Geoff
Reply all
Reply to author
Forward
0 new messages