Design of experiments and evaluation of BDD ordering heuristics

DOI10.1007/S100090100052zbMATH Open1002.68584OpenAlexW283757728WikidataQ126576436 ScholiaQ126576436MaRDI QIDQ1606809FDOQ1606809

Authors: Justin E. III Harlow, Franc Brglez 

Publication date: 25 July 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100052

Recommendations

• scientific article; zbMATH DE number 1150567
• scientific article; zbMATH DE number 1956213
• scientific article; zbMATH DE number 1946864
• History-based dynamic BDD minimization
• On the effect of local changes in the variable ordering of ordered decision diagrams

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computer science aspects of computer-aided design (68U07)

Cited In (6)

• BDD-Based Incremental Heuristic Search
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Title not available (Why is that?)
• On SAT instance classes and a method for reliable performance experiments with SAT solvers
• Ordinal optimization and quantification of heuristic designs
• Correct Hardware Design and Verification Methods

This page was built for publication: Design of experiments and evaluation of BDD ordering heuristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606809)