Lex-Partitioning: A New Option for BDD Search

Stefan Edelkamp, Peter Kissmann, Álvaro Torralba

For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented an…