Symbolic, Symmetry, and Stubborn Set Searches - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mikko Tiusanen. Symbolic, Symmetry, and Stubborn Set Searches. In Robert Valette, editor, Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings. Volume 815 of Lecture Notes in Computer Science, pages 511-530, Springer, 1994.

This author has not been identified. Look up 'Mikko Tiusanen' in Google

runs on WebDSL