[キーワード] 等価変換 (Equivalent transformation) プログラム合成 (Program synthesis) クラウドサービス (Cloud services) 最適化 (Optimization) [業績 (論文誌, 国際会議)] Automatic Proof of Logical Equivalences belonging to the ES Class using Confluence Search incorporating Slicing, 2023.
Read more →