Showing 2024Show all
2 papers · 1 filter
cs.GT2024
Game-Theoretically Secure Distributed Protocols for Fair Allocation in Coalitional Games
T-H. Hubert Chan, Qipeng Kuang, Quan Xue
We consider game-theoretically secure distributed protocols for coalition games that approximate the Shapley value with small multiplicative error. Since all known existing approxi…
cs.LO2024
Bridging Weighted First Order Model Counting and Graph Polynomials
Qipeng Kuang, Ondřej Kuželka, Yuanhong Wang +1
The Weighted First-Order Model Counting Problem (WFOMC) asks to compute the weighted sum of models of a given first-order logic sentence over a given domain. It can be solved in ti…