来源：https://stackoverflow.com/questions/26489260/8-queen-puzzle-with-reduced-ordered-binary-decision-diagram 标签 binary-decision-diagram
