SMTcut

Source Code

Source code is available on GitLab.

Citing SMTcut

If you use SMTcut and publish your work, please cite it as:

@incollection{LuedersSMTcut,
  author    = {Christoph L{\"u}ders},
  editor    = {P. Fontaine and K. Korovin and I. S. Kotsireas and P. R{\"u}mmer and S. Tourret},
  title     = {Computing Tropical Prevarieties With Satisfiability Modulo Theories {(SMT)} Solvers},
  booktitle = {Proc. {SC-Square} 2020, Co-Located With {IJCAR} 2020},
  series    = {{CEUR} Workshop Proceedings},
  volume    = 2752,
  pages     = {189--203},
  publisher = {CEUR-WS},
  year      = 2020,
  month     = jun #{--}# jul,
  url       = {https://ceur-ws.org/Vol-2752/paper14.pdf}
}