A weakly monotonic, logically constrained, HORPO-variant.

Published in: CoRR (2024)

Keyphrases

natural language
database
multiscale
constrained problems
function symbols
helmholtz principle
lambda calculus