High Performance SAT-based Constraint Programming System using Hybrid Encoding

使用混合编码的高性能基于 SAT 的约束编程系统

• 批准号: 16K16036
• 负责人: Soh Takehide
• 金额: $ 2.5万
• 依托单位: Kobe University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K16036/
• 关键词: SATソルバー; SAT符号化; 順序符号化; 対数符号化; ハイブリッド符号化; 制約充足問題; 制約プログラミング; 情報システム

项目成果

Diet-Sugar: SATソルバーを用いたCSPソルバー

Diet-Sugar：使用 SAT 求解器的 CSP 求解器

SAT-based Constraint Programming Systems and Related Technologies

基于SAT的约束规划系统及相关技术

• DOI: 10.11309/jssst.34.1_67
• 发表时间: 2017
• 期刊: Computer Software
• 作者: 宋剛秀;番原睦則;田村直之
• 通讯作者: 田村直之

SATとパズル

SAT 和谜题

• 发表时间: 2016
• 期刊: 情報処理
• 作者: 田村直之;宋剛秀;番原睦則
• 通讯作者: 番原睦則

SAT型制約ソルバーを用いた3次元ナンバーリンクの解法

使用 SAT 类型约束求解器的 3D 数字链接求解

• 发表时间: 2017
• 作者: 寸田智也;南雄之;宋剛秀;田村直之
• 通讯作者: 田村直之

制約充足問題のASP符号化に関する一考察

约束满足问题的ASP编码研究

• 发表时间: 2017
• 作者: 坡山直樹;番原睦則;宋剛秀;田村直之
• 通讯作者: 田村直之