实体
MaxSAT
MaxSAT
PulseAugur coverage of MaxSAT — every cluster mentioning MaxSAT across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
最近 · 第 1/1 页 · 共 2 条
-
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…