QuickSearch:   Number of matching entries: 0.

AuthorTitleYearJournal/ProceedingsReftypeDOI/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.