Login / Signup
Edvard K. Holden
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Theorem Proving
Predicate Calculus
Natural Deduction
Proof Planning
Top Venues
CoRR
CICM
</>
Publications
</>
Edvard K. Holden
,
Konstantin Korovin
Graph Sequence Learning for Premise Selection.
CoRR
(2023)
Edvard K. Holden
,
Konstantin Korovin
Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving.
CICM
(2021)