Optimal CHC Solving via Termination Proofs.

Yu Gu Takeshi Tsukada Hiroshi Unno

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

finding optimal
dynamic programming
optimal solution
worst case
optimal design
real world
computational complexity
supply chain
theorem prover
term rewriting
implicit enumeration
mathematical proofs