Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.

J. B. Wells, Boris Yakobowski

Browse the full LOPSTR paper archive.