SATソルバを利用した分散アルゴリズムの検証・テスト
SATソルバを利用した分散アルゴリズムの検証・テスト
复制标题
使用 SAT 求解器验证和测试分布式算法
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
土屋達弘
中科院分区：
文献类型：
--
作者：
吉村哲彦・千原敬也・鈴木保志・青木遥;坂井田瑠衣;西澤弘行・坂井田瑠衣・南保輔;吉村哲彦・鈴木保志・佐藤宣子;鈴木保志 編，有賀一広・岩岡正博・斎藤仁志・櫻井倫・鈴木秀典・鈴木保志・長谷川尚史・松本武・矢部和弘・吉岡拓如・吉村哲彦 著;Seiji Nashio;吉岡拓如・酒井秀夫・岩岡正博・松本武・山田容三・鈴木保志;坂井田瑠衣;土屋達弘;鈴木保志;坂井田瑠衣・坊農真弓;Rui Sakaida & Yasuharu Den;土屋達弘
