On semidefinite least squares and minimal unsatisfiability
scientific article; zbMATH DE number 6695017
scientific article