conftrace_

algorithm reduction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

black-box reduction (1) maxsat solver (1) loss function (1) linear classifier (1) strong convexity (1) smooth optimization (1) algorithm design (1) convex optimization (1) black-box optimization (1)

Papers

Reducing SAT to Max2SAT IJCAI 2021 Optimal Black-Box Reductions Between Optimization Objectives NeurIPS 2016