Reference: J. Esparza, P. Jančar, and A. Miller. On the complexity of consistency and complete state coding. Technical report, University of Stuttgart, July 2006. Suggested BibTeX entry: @techreport{JEM06b,     author = {J. Esparza and P. Jan\v{c}ar and A. Miller},     institution = {University of Stuttgart},     month = {July},     title = {On the complexity of consistency and complete state coding},     year = {2006} }

GZipped PostScript (126 kB) PDF (184 kB) Conference version