conftrace_

rule refactoring

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

constrained optimisation (1) program compression (1) knowledge refactoring (1) logic program (1) linear programming (1) knowledge base (1) constrained optimization (1) program synthesis (1) knowledge representation (1)

Papers

Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025