Congruence Closure Modulo Permutation Equations.

Dohan Kim Christopher Lynch

Published in: SCSS (2021)

Keyphrases

mathematical model
differential equations
linear equations
socio technical
boundary value problem
real world
case study
reinforcement learning
linear systems
hamilton jacobi
numerical integration