Login / Signup
Nicolas Robinson-O'Brien
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Graph Theory
Minimum Spanning Tree
Simulated Annealing
Worst Case
Top Venues
RAMiCS
Arch. Formal Proofs
</>
Publications
</>
Walter Guttmann
,
Nicolas Robinson-O'Brien
Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm.
RAMiCS
(2021)
Walter Guttmann
,
Nicolas Robinson-O'Brien
Relational Minimum Spanning Tree Algorithms.
Arch. Formal Proofs
2020 (2020)