conftrace_

weighted constraint satisfaction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

combinatorial optimization (2) incomplete csp (1) parameterized heuristics (1) cost-function merging (1) hitting set (1) incomplete constraint satisfaction (1) weighted constraint satisfaction problem (1) implicit hitting set (1) maxsat solving (1) solution quality (1)

Papers

Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 2024 Parameterized Heuristics for Incomplete Weighted CSPs AAAI 2019