Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis.

John Cyphert Zachary Kincaid

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

Keyphrases

special case
np complete
np hard
computational complexity
low order
case study
similarity measure
partial order
real time
databases
neural network
real world
artificial intelligence
computer vision
evolutionary algorithm