Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
---|---|---|---|---|---|
鍋島英知 | SATによるプランニングとスケジューリング | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 114-121 |
article | |
番原睦則 & 田村直之 | SATによるシステム検証 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 122-129 |
article | |
平山勝敏 & 横尾真 | $*$-SAT: SATの拡張 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 105-113 |
article | |
井上 克巳 & 田村 直之 | SATソルバーの基礎 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 57-67 |
article | |
岩沼宏治 & 鍋島英知 | SMT:個別理論を取り扱うSAT技術 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 86-95 |
article | |
鍋島英知 & 宋剛秀 | 高速SATソルバーの原理 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 68-76 |
article | |
黒田 陽之 & 平山 勝敏 | Multi-MaxSAT: ラグランジュ分解・調整法を用いたWeighted Max-SAT問題の解法 | 2009 | 電子情報通信学会論文誌D Vol. J92-D(1), pp. 51-60 |
article | |
井上 克巳 & 坂間 千秋 | 論理プログラミングから解集合プログラミングへ | 2008 | コンピュータソフトウェア Vol. 25(3), pp. 20-32 |
article | |
長谷川隆三, 藤田博 & 越村三幸 | モデル列挙とモデル計数 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 96-104 |
article | |
田村直之, 丹生智也 & 番原睦則 | 制約最適化問題とSAT符号化 | 2010 | 人工知能学会論文誌 Vol. 25(1), pp. 77-85 |
article | |
櫻井 祐子, 岩崎 敦 & 横尾 真 | 適切な掲載数を決定するキーワード広告オークションプロトコルの提案 | 2008 | コンピュータソフトウェア Vol. 25(4), pp. 60-67 |
article | |
櫻井祐子, 斎藤恭昌, 岩崎敦 & 横尾真 | Take-it-or-Leave-it方式の再配分オークションメカニズムの提案 | 2009 | 電子情報通信学会論文誌 Vol. J92-D(11), pp. 1861-1868 |
article | |
櫻井祐子, 横尾真, 岩崎敦 & 鈴木幸太郎 | セキュアキーワード広告オークションプロトコルの提案 | 2009 | 電子情報通信学会論文誌 Vol. J92-D(11), pp. 1881-1889 |
article | |
東藤大樹, 岩崎敦, 横尾真 & 櫻井祐子 | 架空名義操作不可能な組合せオークションの割当規則の特性 | 2009 | 電子情報通信学会論文誌 Vol. J92-D(11), pp. 1890-1901 |
article | |
大田直樹, 佐藤恭史, 岩崎敦, 横尾真 & Conitzer, V. | 匿名操作不可能シャプレイ値:開環境での協力ゲームへのシャプレイ値の拡張 | 2009 | コンピュータソフトウェア Vol. 26(4), pp. 181-196 |
article | |
大田直樹, 岩崎敦, 横尾 真, Conitzer, V. & Sandholm, T. | 開環境での協力ゲームにおける解の簡略記述法 | 2009 | 情報処理学会論文誌 Vol. 50(12), pp. 3211-3221 |
article | |
斎藤 恭昌, 岩崎 敦, 横尾 真, Kempe, D. & Salek, M. | チーム選択問題のための架空名義操作不可能なオークションメカニズムの提案 | 2008 | コンピュータソフトウェア Vol. 25(4), pp. 199-207 |
article | |
田崎 誠, 籔 悠一, 横尾 真, Varakantham, P., Marecki, J. & Tambe, M. | マルチエージェント部分観測可能マルコフ決定過程のプラン構築への通信の導入 | 2008 | コンピュータソフトウェア Vol. 25(4), pp. 226-237 |
article | |
松井俊浩, Silaghi, M.C., 平山勝敏, 横尾真 & 松尾啓志 | 分散制約最適化問題へのソフトアーク整合の適用 | 2010 | 人工知能学会論文誌 Vol. 25(3), pp. 410-422 |
article | |
松井俊浩, Silaghi, M.C., 平山勝敏, 横尾真 & 松尾啓志 | 資源制約に束縛されないpseudo-treeを用いた資源制約付き分散制約最適化問題の解法 | 2009 | 人工知能学会論文誌 Vol. 24(5), pp. 417-427 |
article | |
Hirayama, K., Matsui, T. & Yokoo, M. | Adaptive Price Update in Distributed Lagrangian Relaxation Protocol | 2009 | 8th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS-2009), pp. 1033-1040 | inproceedings | |
Hirayama, K., Matsui, T. & Yokoo, M. | Adaptive Price Update in Distributed Lagrangian Relaxation Protocol | 2009 | 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2009) | inproceedings | |
Jain, M., Taylor, M., Tambe, M. & Yokoo, M. | DCOPs Meet the RealWorld: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks | 2009 | International Joint Conference on Artificial Intelligence (IJCAI-2009), pp. 181-186 | inproceedings | |
Koshimura, M., Nabeshima, H., Fujita, H. & Hasegawa, R. | Minimal Model Generation with Respect to an Atom Set | 2009 | 7th International Workshop on First-Order Theorem Proving (FTP 2009), pp. 49-59 | inproceedings | |
Marecki, J., Gupta, T., Varakantham, P., Tambe, M. & Yokoo, M. | Not All Agents Are Equal: Scaling up Distributed POMDPs for Agent Networks | 2008 | 7th International Joint Conference on Autonomous Agents and Multi-Agent System (AAMAS-2008), pp. 485-492 | inproceedings | |
Matsui, T., Silaghi, M., Hirayama, K., Yokoo, M. & Matsuo, H. | Directed Soft Arc Consistency in Pseudo-trees | 2009 | 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2009) | inproceedings | |
Matsui, T., Silaghi, M., Hirayama, K., Yokoo, M. & Matsuo, H. | Directed Soft Arc Consistency in Pseudo Trees | 2009 | 8th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS-2009), pp. 1065-1072 | inproceedings | |
Matsui, T., Silaghi, M., Hirayama, K., Yokoo, M. & Matsuo, H. | Resource Constrained Distributed Constraint Optimization with Virtual Variables | 2008 | 23rd AAAI Conference on Artificial Intelligence (AAAI-2008), pp. 120-125 | inproceedings | |
Nabeshima, H., Iwanuma, K. & Inoue, K. | SOLAR: An Automated Deduction System for Consequence Finding | 2010 | AI Communications Vol. 23(2-3), pp. 183-203 |
article | |
Ohta, N., Conitzer, V., Ichimura, R., Sakurai, Y., Iwasaki, A. & Yokoo, M. | Coalition Structure Generation Utilizing Compact Characteristic Function Representations | 2009 | 15th International Conference on Principles and Practice of Constraint Programming (CP-2009), pp. 623-638 | inproceedings | |
Ohta, N., Conitzer, V., Satoh, Y., Iwasaki, A. & Yokoo, M. | Anonymity-Proof Shapley Value: Extending Shapley Value for Coalitional Games in Open Environments | 2008 | 7th International Joint Conference on Autonomous Agents and Multi-Agent System (AAMAS-2008), pp. 927-934 | inproceedings | |
Sakurai, Y., Iwasaki, A. & Yokoo, M. | Keyword Auction Protocol for Dynamically Adjusting the Number of Advertisements | 2008 | IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), pp. 410-416 | inproceedings | |
Sakurai, Y., Saito, Y., Iwasaki, A. & Yokoo, M. | Beyond quasi-linear utility: strategy/false-name-proof multi-unit auction protocols | 2008 | IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), pp. 417-423 | inproceedings | |
Seow, K.T., Ma, C. & Yokoo, M. | Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents | 2009 | IEEE Transactions on Control Systems Technology Vol. 17(2), pp. 405-415 |
article | |
Silaghi, M.C. & Yokoo, M. | ADOPT-ing: Unifying Asynchronous Distributed Optimization with Asynchronous Backtracking | 2009 | Journal of Autonomous Agents and Multi-Agent Systems Vol. 19(2), pp. 89-123 |
article | |
Soh, T., Inoue, K., Tamura, N., Banbara, M. & Nabeshima, H. | A SAT-based Method for Solving the Two-dimensional Strip Packing Problem | (to appear) | Fundamenta Informaticae | article | |
Soh, T., Inoue, K., Tamura, N., Banbara, M. & Nabeshima, H. | A SAT-based Method for Solving the Two-dimensional Strip Packing Problem | 2008 | 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'08) | inproceedings | |
Tamura, N., Taga, A., Kitagawa, S. & Banbara, M. | Compiling Finite Linear CSP into SAT | 2009 | Constraints Vol. 14(2), pp. 254-272 |
article | |
Tamura, N., Taga, A., Kitagawa, S. & Banbara, M. | Compiling Finite Linear CSP into SAT | 2009 | Constraints Vol. 14(2), pp. 254-272 |
article | |
Tamura, N., Tanjo, T. & Banbara, M. | System Description of a SAT-based CSP Solver Sugar | 2008 | 3rd International CSP Solver Competition, pp. 71-75 | inproceedings | |
Tanjo, T., Tamura, N. & Banbara, M. | Sugar++: A SAT-based MAX-CSP/COP Solver | 2008 | 3rd International CSP Solver Competition, pp. 77-82 | inproceedings | |
Tasaki, M., Yabu, Y., Iwanari, Y., Yokoo, M., Tambe, M., Marecki, J. & Varakantham, P. | Introducing Communication in Dis-POMDPs with Locality of Interaction | 2008 | IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), pp. 169-175 | inproceedings | |
Todo, T., Iwasaki, A. & Yokoo, M. | Characterization of Strategy-proof, Revenue Monotone Combinatorial Auction Mechanisms and Connection with False-name-proofness | 2009 | fifth Workshop on Internet & Network Economics (WINE-09), pp. 561-568 | inproceedings | |
Todo, T., Iwasaki, A., Yokoo, M. & Sakurai, Y. | Characterizing False-name-proof Allocation Rules in Combinatorial Auctions | 2009 | 8th International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS-2009), pp. 265-272 | inproceedings |
Created by JabRef on 10/08/2010.