Timestamp:
May 24, 2013 1:38:04 PM (12 years ago)
Author:
Ted Faber <faber@…>
Branches:
abac0-leak, abac0-mei, master, mei-id, tvf-new-xml
Children:
c199a27
Parents:
736a573
Message:

Use Breadth first search to find shorter proofs in complex graphs

(No files)

Note: See TracChangeset for help on using the changeset viewer.