Equivalence Test for Read-Once Arithmetic Formulas.

Nikhil Gupta Chandan Saha Bhargav Thankey

Published in: SODA (2023)

Keyphrases

read once formulas
quantifier free
database
machine learning
case study
search space
test data
datalog programs
arithmetic operations