optimization - ブール代数は実際にはどのように効率的ですか?

Question

お時間を割いていただきありがとうございます。念のために言っておきますが、私はブール代数の基礎を理解しています。

ブール代数が非常に小さな回路で役立つ最適化手法であることは理解していますが、現実的なサイズの回路では時間がかかりすぎます。回路は分離され、ブール代数の法則が適用されますが、これには長い時間がかかりますか?それとも、より複雑な回路を最適化するために使用されるブール代数よりも優れた手法はありますか? 私は本当に興味をそそられました。前もって感謝します。