Login / Signup
Optimization of rewrite theories by equational partial evaluation.
María Alpuente
Demis Ballis
Santiago Escobar
Julia Sapiña
Published in:
J. Log. Algebraic Methods Program. (2022)
Keyphrases
</>
partial evaluation
explanation based generalization
domain theory
optimization problems
equational theories
data sets
optimization algorithm
databases
domain knowledge
general purpose
theorem proving