Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction Problems

大规模约束满足问题全解枚举实用技术的发展

• 批准号: 17K17725
• 负责人: Toda Takahisa
• 金额: $ 2.75万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-17K17725/
• 关键词: 制約充足問題; SATソルバー; モデル検査; 反例解析; セキュリティ; プライバシ; AllSAT; サンプリング; 複合イベント処理; データベースの匿名化; アルゴリズム; SAT; 制約; ネットワーク; データマイニング

项目成果

不確実性下における複合イベント処理に関する考察

不确定性下复杂事件处理的思考

• 发表时间: 2022
• 作者: 夏 涛;戸田 貴久
• 通讯作者: 戸田 貴久

Interval-based Counterexample Analysis for Error Explanation

基于区间的错误解释反例分析

• DOI: 10.2197/ipsjjip.29.630
• 发表时间: 2021
• 期刊: Journal of Information Processing
• 作者: Takahisa Toda;Takeru Inoue
• 通讯作者: Takeru Inoue

誤りの効果的な説明のための反例空間解析

有效错误解释的反例空间分析

• 发表时间: 2018
• 作者: Nomura;S. and Ogata;Y.;大澤隆将;張 文鋭・藤井 孝太郎・丹羽 栄貴・八島 正知;George O'Neal & Hokuto Kamata;横井 浩史，矢吹 佳子，東郷 俊太，姜 銀来，加藤 龍，杉 正夫;塚原直樹;戸田貴久
• 通讯作者: 戸田貴久

Exact Method for Generating Strategy-Solvable Sudoku Clues

生成可解决策略的数独线索的精确方法

• DOI: 10.3390/a13070171
• 发表时间: 2020
• 期刊: Algorithms
• 影响因子: 2.3
• 作者: Kohei Nishikawa;Takahisa Toda
• 通讯作者: Takahisa Toda

モデル検査における反例発見から反例列挙への拡張

模型检验中反例发现扩展到反例枚举

• 发表时间: 2017
• 作者: Kawano;J.;戸田貴久
• 通讯作者: 戸田貴久