Nahku Saidy

According to our database, Nahku Saidy authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Cutting Down the TPTP Language (And Others).

Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020