conftrace_

weighted constraint satisfaction problem

1 paper

Explore in graph

Also known as

WCSP

Co-occurring keywords · papers mentioning both

hitting set (1) cost-function merging (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