conftrace_

hitting set

4 papers

Explore in graph

Also known as

HS

Co-occurring keywords · papers mentioning both

minimal unsatisfiable set (1) regret ratio minimization (1) weighted constraint satisfaction problem (1) cost-function merging (1) logic-based reasoning (1) hitting set duality (1) weighted constraint satisfaction (1) implicit hitting set (1) model reconciliation (1) maxsat solving (1)

Papers

Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 2024 Improved Algorithm for Regret Ratio Minimization in Multi-Objective Submodular Maximization AAAI 2023 On Exploiting Hitting Sets for Model Reconciliation AAAI 2021 On Relating Explanations and Adversarial Examples NeurIPS 2019