1 paper
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…