PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups.

Christopher Lynch, Polina Strogova

Browse the full AISC paper archive.