conftrace_

unsatisfiable core

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

maxsat solver (1) weighted partial maxsat (1) core-guided solver (1) soft clause (1) conflict analysis (1) minimal correction set (1) core enumeration (1) core-guided algorithm (1) stable model (1) model optimization (1)

Papers

An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025 Core-Guided Minimal Correction Set and Core Enumeration IJCAI 2018 Unsatisfiable Core Shrinking for Anytime Answer Set Optimization IJCAI 2017