1. S. Akers, Functional testing with binary decision diagrams, in: Eighth Annual Conf. on Fault-Tolerant Computing, 1978, pp. 75–82
2. P. Bertoli, A. Cimatti, M. Roveri, Heuristic search symbolic model checking = efficient conformant planning, in: Proc. of the Int'l Joint Conf. on Artificial Intelligence, 2001, pp. 467–472
3. P. Bertoli, A. Cimatti, M. Roveri, P. Traverso, Planning in non-deterministic domains under partial observability via symbolic model checking, in: Proc. of the Int'l Joint Conf. on Artificial Intelligence, 2001, pp. 473–478
4. B. Bollig, M. Löbbing, I. Wegener, Simulated annealing to improve variable orderings for OBDDs, in: Int'l Workshop on Logic Synth., 1995, pp. 5b:5.1–5.10
5. Improving the variable ordering of OBDDs is NP-complete;Bollig;IEEE Trans. on Comp.,1996