3BA: a border bases solver with a SAT extension
scientific article; zbMATH DE number 6920269