Login / Signup
Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers.
Christoph Lüders
Published in:
PAAR+SC²@IJCAR (2020)
Keyphrases
</>
modulo theories
satisfiability modulo theories
answer set programming
sat solvers
stable model semantics
answer sets