Boris Yakobowski

Using the resultas of an internship I did in the Ultra Group, Joe Wells and I have written a paper entitled « Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis », which was submitted to LOPSTR'04 (this is the version found in the preliminary proceedings of the conference).

I have presented the paper at LOPSTR'04 in Verona, Italy. The slides I used are here; you need advi to view them.

A final version of the paper is also available. Please note that the preliminary one is slightly more complete, as it includes an appendix not found in the final paper.

Finally, the abstract of the paper can be found in my publications page.