azove

swMATH4634MaRDI QIDQ16804

No author found.

Described by source

• On threshold BDDs and the optimal variable ordering problem
• On Threshold BDDs and the Optimal Variable Ordering Problem

Related Items (12)

Computing convex hulls and counting integer points with \texttt{polymake} ⋮ Theoretical insights and algorithmic tools for decision diagram-based optimization ⋮ On the use of binary decision diagrams for solving problems on simple games ⋮ Decision Diagrams for Discrete Optimization: A Survey of Recent Advances ⋮ Forms of representation for simple games: sizes, conversions and equivalences ⋮ Power indices of simple games and vector-weighted majority games by means of binary decision diagrams ⋮ On finding the optimal BDD relaxation ⋮ On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem ⋮ On the size of (generalized) OBDDs for threshold functions ⋮ Unnamed Item ⋮ 0/1 vertex and facet enumeration with BDDs ⋮ Improving branch-and-bound using decision diagrams and reinforcement learning

This page was built for software: azove