Reformulation based MaxSat robustness (Q487654)

From MaRDI portal





scientific article; zbMATH DE number 6389808
Language Label Description Also known as
default for all languages
No label defined
    English
    Reformulation based MaxSat robustness
    scientific article; zbMATH DE number 6389808

      Statements

      Reformulation based MaxSat robustness (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      22 January 2015
      0 references
      robustness
      0 references
      reformulation
      0 references
      MaxSat
      0 references
      pseudo-Boolean
      0 references
      combinatorial optimization
      0 references
      resource allocation
      0 references
      auctions
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers