| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC, CPSY (併催) |
2011-07-28 16:15 |
鹿児島 | かごしま県民交流センター | 基数制約に対応するクラスタ向け並列SATソルバとその評価 ○徐 暁雋・山根裕二・上田和紀（早大）  DC2011-17 |
実問題から生成される構造的な問題に含まれる基数制約は,真理値のみを扱う SAT ソルバにとってホ... [more] | DC2011-17 pp.13-18 |
| MSS | 2009-06-03 14:50 |
大阪 | 摂南大学大阪センター | SAT and SMT Based Model Checking of Concurrent Systems ○Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.） CST2009-4 |
SATやSMTを用いたモデル検査について議論する．この種のモデル検査手法では，検証問題を論理式の充足可能性判定問題に帰着... [more] | CST2009-4 pp.19-23 |
| SS | 2009-03-02 16:15 |
佐賀 | 佐賀大学本庄キャンパス | 並列分散型SATソルバにおける探索空間の分割手法の提案 ○高見明秀・鍋島英知・岩沼宏治（山梨大） SS2008-52 |
命題論理の充足可能性問題(satisfiability problem; SAT 問題)は計算機科学や 人工知能の基... [more] |
SS2008-52 pp.23-28 |
| SS | 2008-12-19 10:00 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | 基本対称関数を付加したCNF論理式の充足可能性判定 ○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） SS2008-44 |
近年，高速な充足可能性判定ツール（SATソルバ）の開発が進んでいる． これらのツールでは，変数値を次々に推論するBCP... [more] |
SS2008-44 pp.31-36 |
| SS | 2007-12-17 17:00 |
島根 | 島根大学 | 対話型埋込みによる数独問題の設計ツール ○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） SS2007-50 |
近年，論理式の充足可能性判定ツール(SATソルバ)の高速化が進み，これを利用した数独パズルの解法が提案されている． 本... [more] |
SS2007-50 pp.73-78 |
| AI | 2007-05-31 10:45 |
東京 | 機械振興会館 | マルチコア環境向け並列SATソルバの開発 ○高見明秀・岩沼宏治・鍋島英知（山梨大） AI2007-2 |
本論文では，実用的な高速並列SAT ソルバの開発を目的として，最新のSAT ソルバ技術に基づくマル チコア環境向けのS... [more] |
AI2007-2 pp.7-12 |
| AI | 2006-05-18 11:10 |
東京 | 機械振興会館 | 効率的なSATプランニングとSATスケジューリングのための補題再利用 ○鍋島英知（山梨大）・宋 剛秀（神戸大）・井上克巳（NII）・岩沼宏治（山梨大） |
本稿では，SATプランニングとSATスケジューリングを効率よく解くために補題再利用手法を提案し，その効果を実証する．一般... [more] | AI2006-4 pp.19-24 |
| CPSY, VLD, IPSJ-SLDM (共催) |
2005-01-25 15:50 |
神奈川 | 慶應義塾大学 日吉キャンパス | FPGA上に実装されたPCMGTPを用いたSAT問題の解決 ○木之下昇平・松田純一・藤田 博・越村三幸・長谷川隆三（九大） |
本論文では，FPGA上に実装された定理証明器PCMGTP（Propositional Constraint Model ... [more] | VLD2004-107 CPSY2004-73 pp.57-62 |
[研究会発表申込システムのトップページに戻る]