Login / Signup

Symbolic topological sorting with OBDDs.

Philipp Woelfel
Published in: J. Discrete Algorithms (2006)
Keyphrases