scientific article; zbMATH DE number 1946864

zbMATH Open1045.68092arXiv1107.0020MaRDI QIDQ4411151FDOQ4411151

S. Markovitch, S. Livne, Orna Grumberg

Publication date: 7 July 2003

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

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

Cited In (4)

• 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)