conftrace_

cost-function merging

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hitting set (1) weighted constraint satisfaction problem (1) weighted constraint satisfaction (1) implicit hitting set (1) maxsat solving (1) constraint optimization (1) combinatorial optimization (1)

Papers

Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 2024