ENTITY
MaxSAT
MaxSAT
PulseAugur coverage of MaxSAT — every cluster mentioning MaxSAT across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
RECENT · PAGE 1/1 · 2 TOTAL
-
New CP method optimizes counterfactual explanations for tree ensembles
Researchers have developed a new constraint programming (CP) formulation called CPCF for computing optimal counterfactual explanations in tree ensembles. This method encodes numerical features as interval domains and di…
-
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…