azove

MaRDI QIDQ16804swMATHFDO

Official website http://www.mpi-inf.mpg.de/~behle/azove.html

Described by source

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

Cited in

(16)

• scientific article; zbMATH DE number 6776481 (Why is no real title available?)
• On the size of (generalized) OBDDs for threshold functions
• Improving branch-and-bound using decision diagrams and reinforcement learning
• On the use of binary decision diagrams for solving problems on simple games
• Computing convex hulls and counting integer points with \texttt{polymake}
• 0/1 vertex and facet enumeration with BDDs
• Forms of representation for simple games: sizes, conversions and equivalences
• barvinok
• SMAPO
• PATRICIA
• lrslib
• Power indices of simple games and vector-weighted majority games by means of binary decision diagrams
• Theoretical insights and algorithmic tools for decision diagram-based optimization
• On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem
• Decision Diagrams for Discrete Optimization: A Survey of Recent Advances
• On finding the optimal BDD relaxation

This page was built for software: azove