A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets (Q5212558)

From MaRDI portal





scientific article; zbMATH DE number 7159841
Language Label Description Also known as
English
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets
scientific article; zbMATH DE number 7159841

    Statements

    A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets (English)
    0 references
    0 references
    0 references
    29 January 2020
    0 references
    coalition structure generation
    0 references
    maximum satisfiability
    0 references
    optimization
    0 references
    multiagent system
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references