conftrace_

weighted partial maxsat

5 papers

Explore in graph

Also known as

MAXSAT WPMS

Co-occurring keywords · papers mentioning both

combinatorial optimization (4) maxsat solver (2) stochastic local search (2) core-guided solver (1) unsatisfiable core (1) soft clause (1) conflict analysis (1) open-world recognition (1) plan recognition (1) clause weighting (1)

Papers

An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025 NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques AAAI 2023 BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit IJCAI 2022 Online Action Recognition AAAI 2021 CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) IJCAI 2017