Design of experiments and evaluation of BDD ordering heuristics
From MaRDI portal
Publication:1606809
DOI10.1007/s100090100052zbMath1002.68584OpenAlexW283757728WikidataQ126576436 ScholiaQ126576436MaRDI QIDQ1606809
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
Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)
Related Items (2)
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. ⋮ On SAT instance classes and a method for reliable performance experiments with SAT solvers
This page was built for publication: Design of experiments and evaluation of BDD ordering heuristics
