Unification Modulo Builtins.

Stefan Ciobaca Andrei Arusoaie Dorel Lucanu

Published in: WoLLIC (2018)

Keyphrases

higher order
theorem proving
equational theories
databases
machine learning
training data
optimal solution
email
active learning
np complete