conftrace_

program compression

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

constrained optimisation (1) rule refactoring (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