An SMT-LIB Theory of Finite Fields.

Thomas Hader Alex Ozdemir

Published in: SMT@CAV (2024)

Keyphrases

computer vision
neural network
theoretical basis
finite number
genetic algorithm
image processing
data structure
learning environment
logic programs
general theory
statistical machine translation