Author of the publication

Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation.

, , , , , and . PRIMA, volume 10621 of Lecture Notes in Computer Science, page 143-159. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proof Simplification for Model Generation and Its Applications., and . LPAR, volume 1955 of Lecture Notes in Computer Science, page 96-113. Springer, (2000)QMaxSAT: A Partial Max-SAT Solver., , , and . J. Satisf. Boolean Model. Comput., 8 (1/2): 95-100 (2012)CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem., , , , and . ICTAI, page 285-292. IEEE, (2020)Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , and . IWAR, volume A-19 of IFIP Transactions, page 221-238. North-Holland, (1992)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 776-780. Springer, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , and . ICAART (1), page 376-381. SciTePress, (2011)Model Generation Theorem Provers on a Parallel Inference Machine., , , and . FGCS, page 357-375. IOS Press, (1992)A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets., and . J. Log. Comput., 29 (6): 913-931 (2019)Reconstructing AES Key Schedule Images with SAT and MaxSAT., , and . IEICE Trans. Inf. Syst., 99-D (1): 141-150 (2016)MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities., , , and . IEICE Trans. Inf. Syst., 97-D (7): 1781-1789 (2014)