scientific article; zbMATH DE number 2209882

zbMATH Open1104.68100MaRDI QIDQ5692871FDOQ5692871

Authors: Shinobu Nagayama, Alan Mishchenko, Tsutomu Sasao, Jon T. Butler 

Publication date: 28 September 2005

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

Recommendations

• On the effect of local changes in the variable ordering of ordered decision diagrams
• Efficient manipulation of decision diagrams
• scientific article; zbMATH DE number 1423226
• Optimal ordered binary decision diagrams for read-once formulas
• Minimization of Word-Level Decision Diagrams

zbMATH Keywords

sifting algorithmtraversing probability

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data structures (68P05)

Cited In (1)

• A Heuristic for Finding Compatible Differential Paths with Application to HAS-160

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