Our paper in IEEE Transactions on Evolutionary Computation on "Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization" is available #online ieeexplore.ieee.org/document/110... #EvolutionaryAlgorithms #BDDs #OBDDs #verification @unibremen.bsky.social @dsc-ub.bsky.social