An algebraic algorithm for solving parametric integer programs
dualization of monotone Boolean function
scientific article; zbMATH DE number 6872428
scientific article