When Almost Is Not Even Close: Remarks on the Approximability of HDTP.
Tarek R. Besold and Robert Robere.
AGI 2013. [DOI]
Awarded the Cognitive Science Society Prize for Best Student Paper.
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Tarek R. Besold and Robert Robere.
AGI 2013. [DOI]
Awarded the Cognitive Science Society Prize for Best Student Paper.