Improved WPM encoding for coalition structure generation under MC-nets
暂无分享,去创建一个
[1] Daniel Le Berre,et al. The Sat4j library, release 2.2 , 2010, J. Satisf. Boolean Model. Comput..
[2] Vincent Conitzer,et al. Coalition structure generation in cooperative games with compact representations , 2018, Autonomous Agents and Multi-Agent Systems.
[3] Nicholas R. Jennings,et al. A hybrid exact algorithm for complete set partitioning , 2016, Artif. Intell..
[4] Toby Walsh,et al. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications , 2009 .
[5] Nicholas R. Jennings,et al. An improved dynamic programming algorithm for coalition structure generation , 2008, AAMAS.
[6] Michael Wooldridge,et al. Computational Aspects of Cooperative Game Theory , 2011, KES-AMSTA.
[7] Sarit Kraus,et al. Methods for Task Allocation via Agent Coalition Formation , 1998, Artif. Intell..
[8] Matti Järvisalo,et al. Implicit Hitting Set Algorithms for Reasoning Beyond NP , 2016, KR.
[9] Richard M. Karp,et al. The Implicit Hitting Set Approach to Solve Combinatorial Optimization Problems with an Application to Multigenome Alignment , 2013, Oper. Res..
[10] Nicholas R. Jennings,et al. A logic-based representation for coalitional games with externalities , 2010, AAMAS.
[11] Matti Järvisalo,et al. LMHS: A SAT-IP Hybrid MaxSAT Solver , 2016, SAT.
[12] Sarvapali D. Ramchurn,et al. Coalition structure generation problems: optimization and parallelization of the IDP algorithm in multicore systems , 2017, Concurr. Comput. Pract. Exp..
[13] Yang Liu,et al. Using Computational Intelligence Algorithms to Solve the Coalition Structure Generation Problem in Coalitional Skill Games , 2016, Journal of Computer Science and Technology.
[14] Vincent Conitzer,et al. Complexity of constructing solutions in the core based on synergies among coalitions , 2006, Artif. Intell..
[15] Nicholas R. Jennings,et al. Coalition structure generation: A survey , 2015, Artif. Intell..
[16] Vincent Conitzer,et al. Coalition Structure Generation Utilizing Compact Characteristic Function Representations , 2011 .
[17] Guang Yang,et al. A Novel Coalitional Structure Generation Algorithm for Interference Mitigation in Small Cell Networks , 2016, 2016 IEEE Global Communications Conference (GLOBECOM).
[18] Felip Manyà,et al. MaxSAT, Hard and Soft Constraints , 2021, Handbook of Satisfiability.
[19] Toby Walsh,et al. Handbook of satisfiability , 2009 .
[20] Jemal H. Abawajy,et al. Multilayer hybrid strategy for phishing email zero‐day filtering , 2017, Concurr. Comput. Pract. Exp..
[21] Miyuki Koshimura,et al. Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations , 2014, IEICE Trans. Inf. Syst..
[22] Yoav Shoham,et al. Marginal contribution nets: a compact representation scheme for coalitional games , 2005, EC '05.
[23] Mario Alviano,et al. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size , 2015, IJCAI.
[24] Miyuki Koshimura,et al. MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities , 2014, IEICE Trans. Inf. Syst..
[25] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.
[26] Makoto Yokoo,et al. Handling negative value rules in MC-net-based coalition structure generation , 2012, AAMAS.
[27] Fahiem Bacchus,et al. Exploiting the Power of mip Solvers in maxsat , 2013, SAT.
[28] Alan Scheller-Wolf,et al. Combinatorial Coalition Formation for multi-item group-buying with heterogeneous customers , 2010, Decis. Support Syst..
[29] Zhu Han,et al. Coalition Games with Cooperative Transmission: A Cure for the Curse of Boundary Nodes in Selfish Packet-Forwarding Wireless Networks , 2007, 2007 5th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks and Workshops.
[30] Michael Wooldridge,et al. A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications , 2008, Math. Log. Q..
[31] Piotr Faliszewski,et al. Constrained Coalition Formation , 2011, AAAI.
[32] Masahiko Sakai,et al. Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers , 2015, IEICE Trans. Inf. Syst..
[33] S. Shaheen Fatima,et al. Heuristic Methods for Optimal Coalition Structure Generation , 2016, EUMAS/AT.
[34] Miyuki Koshimura,et al. Solving the Coalition Structure Generation Problem with MaxSAT , 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
[35] Oskar Skibski,et al. Non-Utilitarian Coalition Structure Generation , 2016, ECAI.
[36] Nicholas R. Jennings,et al. A Hybrid Algorithm for Coalition Structure Generation , 2012, AAAI.
[37] Miyuki Koshimura,et al. QMaxSAT: A Partial Max-SAT Solver , 2012, J. Satisf. Boolean Model. Comput..