Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism

Tobias Nipkow. Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism. In Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Volume 6898 of Lecture Notes in Computer Science, pages 281-296, Springer, 2011. [doi]

Abstract

Abstract is missing.