An Optimal Lower Bound on the Number of Variables for Graph Identification

Jin-yi Cai, Martin Fürer, Neil Immerman. An Optimal Lower Bound on the Number of Variables for Graph Identification. In 30th Annual Symposium on Foundations of Computer Science, 30 October-1 November 1989, Research Triangle Park, North Carolina, USA. pages 612-617, IEEE, 1989.

Abstract

Abstract is missing.