scientific article; zbMATH DE number 1946864

MaRDI QIDQ4411151zbMATHFDO

Authors Orna Grumberg, S. Livne, S. Markovitch

Publication date 7 July 2003

Full work available at URL https://arxiv.org/abs/1107.0020

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the influence of the variable ordering for algorithmic learning using OBDDs
• Design of experiments and evaluation of BDD ordering heuristics
• BDD ordering heuristics for classical planning
• History-based dynamic BDD minimization
• On the effect of local changes in the variable ordering of ordered decision diagrams

Cited in

(5)

• BDD ordering heuristics for classical planning
• Design of experiments and evaluation of BDD ordering heuristics
• Bandit-based Monte-Carlo structure learning of probabilistic logic programs
• History-based dynamic BDD minimization
• Theorem Proving in Higher Order Logics

This page was built for publication:

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