CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察
CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察
复制标题
利用CEGAR的SAT型CSP求解器并行化方法思考及反例分享
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
井上克巳
中科院分区：
文献类型：
--
作者：
宋剛秀;鍋島英知;番原睦則;田村直之;井上克巳
