conftrace_

minimal unsatisfiable core

2 papers

Explore in graph

Also known as

MUC

Co-occurring keywords · papers mentioning both

linear temporal logic (2) answer set programming (2) explanations enumeration (1) syntax tree (1) declarative specification (1) satisfiability checking (1)

Papers

Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas AAAI 2026 Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026