Vol-2751⫷ Vol-2752 ⫸Vol-2753
urn:nbn:de:0074-2752-0


Vol-2752/paper13⫷Vol-2752/paper14⫸Vol-2752/paper15
Christoph Lüders

Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers