Title: Variable ordering heuristics for binary decision diagrams
First published: 2000