conftrace_

core-guided approach

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

implicit hitting set (1) abstract core (1) maximum satisfiability (1) combinatorial optimization (1)

Papers

Unifying Core-Guided and Implicit Hitting Set Based Optimization IJCAI 2023