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 ...

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 ...

The objective of the 3D-SCALO problem is to assign the given components to optimal mounting surfaces and position them at the best locations, while satisfying the requirements for (1) heat dissipation ...

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; ...

Abstract: This study establishes a binary integer programming model to optimize decision-making in the production, testing, assembly, and sales processes of spare parts. By defining decision variables ...