Boolean equation solving as graph traversal - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brian Herlihy, Peter Schachte, Harald Søndergaard. Boolean equation solving as graph traversal. In Joachim Gudmundsson, C. Barry Jay, editors, Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings. Volume 51 of CRPIT, pages 123-132, Australian Computer Society, 2006. [doi]

This author has not been identified. Look up 'Brian Herlihy' in GoogleThis author has not been identified. Look up 'Peter Schachte' in GoogleThis author has not been identified. Look up 'Harald Søndergaard' in Google

runs on WebDSL