Solving linear optimization over arithmetic constraint formula
scientific article; zbMATH DE number 6802550
scientific article