制約充足問顆および制約最適化問題は, それぞれ与えられた制約を満たす解および最適解を探索
する問題である. 人工知能研究などで生じる多くの組合せ問題は, 制約充足問題あるいは制約最適 …

システム検証とは, ハードウェア・ソフトウェアの信頼性を高めるための手法に関する研究分野である
. 信頼性の高いシステムを実現するには, 設計段階, 開発段階において可能な限り欠陥をなくすこと …

抄録 命題論理式の充足可能性判定 (SAT) 問題を解くプログラムである SAT ソルバーは, 2000
年以降その性能面において飛躍的に進化した. それに伴い, 解きたい問題を SAT 符号化により SAT …

抄録 命題論理の充足可能性判定問題 (SAT 問題) を解くソルバーは, その飛躍的な性能向上に
伴い, システム検証やプランニング・スケジューリング問題, 制約充足・最適化問題等の様々な分野 …

論文抄録 近年, 命題論理の充足可能性判定 (SAT) 問題を解く SAT ソルバーの性能が飛躍的に
向上し, プログラム検証, プランニング, スケジューリング, 制約充足問題などさまざまな分野への …

抄録 本論文では, SAT 変換に基づく制約ソルバーである Sugar の概要とその性能評価結果
について述べる. Sugar は, 制約充足問題 (CSP), 制約最適化問題 (COP) および最大制約充足 …

抄録 本論文では, 整数有限領域上の制約充足問題に現れる算術的な制約を SAT
に符号化する新しい方法としてコンパクト順序符号化を提案する. コンパクト順序符号化の基本 …

抄録 近年 SAT ソルバーの求解性能が飛躍的に向上しており, 様々な分野で応用が進んでいる.
しかし, SAT ソルバーは連言標準形の命題論理式を入力としており, 実用的な応用が多くある算術 …

論文抄録 制約充足問題 (CSP) は与えられた制約を満たす解を探索する問題であり,
多くの組合せ問題は CSP として定式化できる. SAT 型制約ソルバーは, CSP …

論文抄録 SAT は計算機科学において最も単純で基本的な問題であるとともに, 人工知能 (AI)
においても推論や制約充足のベースとなる重要な問題である. また SAT 技術もアルゴリズム分野 …