The Binary Boolean Optimization (BPO) problem aims at finding the maximal value that a rational polynomial P(x) can take when x is supposed to be a vector with 0 and 1 values. This non-linear optimization problem has recently received renewed attention. Current techniques for solving it either involve to solve a linear relaxation of the...

Autonomous systems, or systems in which significant functions operate autonomously, are becoming increasingly common, and are a key to greatly increased productivity and, potentially, safety, in the future. However, we as engineers do not know how to successfully integrate human operators into such systems. Two alternatives have primarily been considered to date: (a) fully autonomous...