An SMT-LIB Theory of Finite Fields.

Thomas Hader Alex Ozdemir

Published in: CoRR (2024)

Keyphrases

theoretical framework
computer vision
bayesian networks
information theory
finite number
database
image processing
decision trees
evolutionary algorithm
logic programs
computational model
theoretical foundation