1.Constraints and Global Optimizationfor Gene Prediction Overlap ResolutionChristian Theil Have Research group PLIS: Programming, Logic and Intelligent Systems Department…