Hierarchy theorems for kOBDDs and kIBDDs

Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener

Theoretical Computer Science · 1998 · 36 citations · 12 references

Concepts

References

12