@article{rauzy2008variableordering,
author	=	{Antoine Rauzy},
title	=	{Some Disturbing Facts about Depth First Left Most Variable Ordering Heuristics for Binary Decision Diagrams},
journal	=	{Journal of Risk and Reliability},
volume	=	{222},
number	=	{4},
pages	=	{573--582},
publisher	=	{Professional Engineering Publishing},
year	=	{2008},
doi	=	{10.1243/1748006XJRR174},
abstractfile	=	{Rauzy2008-DisturbingFactsAboutVariableOrderingHeuristics.html},
pdffile	=	{Rauzy2008-DisturbingFactsAboutVariableOrderingHeuristics.pdf}
}