PulseAugur
LIVE 11:02:26
ENTITY OP-to-MaxSAT reduction

OP-to-MaxSAT reduction

PulseAugur coverage of OP-to-MaxSAT reduction — every cluster mentioning OP-to-MaxSAT reduction across labs, papers, and developer communities, ranked by signal.

Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
RECENT · PAGE 1/1 · 1 TOTAL
  1. RESEARCH · CL_05207 ·

    New solver unifies diverse optimization problems via MaxSAT reduction

    Researchers have developed a new method called OP-to-MaxSAT reduction to create a general optimization solver named GORED. This approach unifies the solving of various optimization problems by converting them into MaxSA…