Polynomial Solvers for Saturated Ideals.

Viktor Larsson Kalle Åström Magnus Oskarsson

Published in: ICCV (2017)

Keyphrases

numerically stable
low order
orders of magnitude
sat solvers
data sets
real world
information systems
case study
multiscale
objective function
evolutionary algorithm
higher order
sat solving
mixed integer linear