Edvard K. Holden

Orcid: 0000-0002-8782-3960

According to our database¹, Edvard K. Holden authored at least 2 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Graph sequence learning for premise selection.

[DOI]

J. Symb. Comput., 2025

2021

Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving.

[DOI]

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021