conftrace_

clause weighting

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

combinatorial optimization (3) local search (2) weighted partial maxsat (1) maxsat solving (1) pseudo-boolean constraint (1) stochastic local search (1) constraint optimization (1)

Papers

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers IJCAI 2024 NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques AAAI 2023 Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT IJCAI 2018