Polynomial constraints and unsat cores in \textsc{Tarski}
scientific article; zbMATH DE number 6920299