conftrace_

minimal unsatisfiable set

1 paper

Explore in graph

Also known as

MUS

Co-occurring keywords · papers mentioning both

hitting set (1) logic-based reasoning (1) model reconciliation (1) automated reasoning (1) knowledge base (1) automated planning (1)

Papers

On Exploiting Hitting Sets for Model Reconciliation AAAI 2021