Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
プログラミング 暗号化 解析
MBA式の簡略化のためのE-Graphの利用
MBA式の簡略化のためにE-Graphデータ構造を利用し、効率的に同一意味の複数の式を保持し、系統的に項の書き換えを行うことで、より単純な式を見つける。
1