Automatic heuristic-based generation of MTBDD variable orderings for PRISM models

[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]

Downloads:

pdf (775 KB) $bib$ bib

Links: [Google] [Google Scholar] [CiteSeer]

Publications