Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...

Integer programming is a crucial branch of mathematical optimisation that focuses on problems where some or all decision variables are constrained to be integers. This field underpins many practical ...

In this paper we discuss some branch and bound methods implemented in the UMPIRE mathematical programming system for solving practical integer programming problems and give details of computational ...

PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power and energy systems. PowerBiMIP provides a user-friendly ...

Abstract: This paper addresses the problem of intersample collision avoidance for mixed-integer motion planners on differential drive micromobility platforms. We employ a Mixed-Integer Linear ...

This paper studies a class of integer programming problems in which squares of variables may occur in the constraints, and shows that no computing device can be programmed to compute the optimum ...

The following is a simple mixed integer programming problem. Details can be found in Example 3.8 in the "Examples" section. data; input _row_ $10. choco gumdr ichoco igumdr _type_ $ _rhs_; datalines; ...