conftrace_

horn formula

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

revision algorithm (1) rule selection (1) backdoor dnf (1) entity resolution (1) equivalence query (1) cnf formula (1) fixed-parameter tractability (1) bi-objective optimization (1) pareto front (1) membership query (1)

Papers

Backdoor DNFs IJCAI 2021 Knowledge Refinement via Rule Selection AAAI 2019 New Horn Revision Algorithms JMLR 2005