Pages that link to "Item:Q1606809"
From MaRDI portal
The following pages link to Design of experiments and evaluation of BDD ordering heuristics (Q1606809):
Displaying 4 items.
- Ordinal optimization and quantification of heuristic designs (Q977007) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- BDD-Based Incremental Heuristic Search (Q3054245) (← links)