GAPS: Generator for Automatic Polynomial Solvers.

Bo Li Viktor Larsson

Published in: CoRR (2020)

Keyphrases

semi automatic
sat solvers
database
fully automatic
numerically stable
neural network
databases
information systems
search algorithm
evolutionary algorithm
np complete