[Mai09]
V. Maisonneuve.
Automatic heuristic-based generation of MTBDD variable orderings for PRISM models.
Internship report, ENS Cachan & Oxford University Computing Laboratory.
July 2009.
[pdf]
[bib]
[Develops MTBDD variable ordering heuristics, implemented in an extension of PRISM.]
|
pdf (775 KB)
bib