来源：https://stackoverflow.com/questions/63499032/boolean-expression-for-modified-queens-problem 标签 algorithm boolean boolean-expression binary-decision-diagram
