conftrace_

implicit hitting set

6 papers

Explore in graph

Also known as

IHS

Co-occurring keywords · papers mentioning both

combinatorial optimization (4) maximum satisfiability (3) integer programming (2) core-guided approach (1) abstract core (1) weighted constraint satisfaction (1) pseudo-boolean optimization (1) reduced cost fixing (1) cost-function merging (1) hitting set (1)

Papers

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach AAAI 2026 An Adaptive Implicit Hitting Set Algorithm for MAP and MPE Inference PGM 2024 Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 2024 Unifying Core-Guided and Implicit Hitting Set Based Optimization IJCAI 2023 Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract) IJCAI 2021 Reduced Cost Fixing for Maximum Satisfiability IJCAI 2018