Approximations by OBDDs and the Variable Ordering Problem.

Matthias Krause, Petr Savick, Ingo Wegener

Browse the full ICALP paper archive.