conftrace_

configuration knowledge base

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

runtime performance (1) conflict detection (1) algorithmic efficiency (1) constraint satisfaction (1) model-based diagnosis (1) knowledge reuse (1)

Papers

INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024