New Metrics for Static Variable Ordering in Decision Diagrams

@inproceedings{Siminiceanu2006NewMF,
  title={New Metrics for Static Variable Ordering in Decision Diagrams},
  author={Radu Siminiceanu and Gianfranco Ciardo},
  booktitle={TACAS},
  year={2006}
}
We investigate a new class of metrics to find good variable orders for decision diagrams in symbolic state-space generation. Most of the previous work on static ordering is centered around the concept of minimum variable span, which can also be found in the literature under several other names. We use a similar concept, but applied to event span, and generalize it to a family of metrics parameterized by a moment, where the metric of moment 0 is the combined event span. Finding a good variable… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
16 Extracted Citations
26 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 16 extracted citations

Similar Papers

Loading similar papers…