Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. - Kai Lampka; S. Harwarth; Markus Siegle (VALUETOOLS, 2007)