Design of experiments and evaluation of BDD ordering heuristics
From MaRDI portal
Publication:1606809
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
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)