An SMT Approach for Solving Polynomials over Finite Fields.

Thomas Hader Laura Kovács

Published in: SMT (2022)

Keyphrases

combinatorial optimization
computer vision
real time
databases
information systems
evolutionary algorithm
quadratic programming
statistical machine translation