Abstract—Linear programming has been used widely in practice with noticeable success for formulating optimum livestock diets. Diet formulated by linear programming is based on the assumption of linearity between animal yield and nutrient ingredients included in the diet. To overcome the drawback of linear approximation of objective function for diet formulation, there is a need to look for tech...

Linear search algorithms have been shown to be particularly effective for solving partial Maximum Satisfiability (MaxSAT) problem instances. These algorithms start by adding a new relaxation variable to each soft clause and solving the resulting formula with a SAT solver. Whenever a model is found, a new constraint on the relaxation variables is added such that models with a greater or equal va...