conftrace_

abstract core

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

core-guided approach (1) implicit hitting set (1) maximum satisfiability (1) combinatorial optimization (1)

Papers

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