Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers.

Christoph Lüders

Published in: CoRR (2020)

Keyphrases

modulo theories
quantified boolean formulas
theoretical framework
satisfiability modulo theories
sat instances
neural network
phase transition
answer set programming
sat solving
computational complexity
search space
theoretical basis