Building on the recent success of bet-and-run approaches for restarted local search solvers, we introduce the idea of learning online adaptive restart strategies. Universal restart strategies deploy a fixed schedule that runs with utter disregard of the characteristics that each individual run exhibits. Whether a run looks promising or abysmal, it gets run exactly until the predetermined limit ...

In remote counseling systems using TV-phones, it can’t use spacing and physical contact, which are one of the most effective methods of counseling. Then, we propose that we had better to use HyperMirror for remote counseling, that a client and a counselor talk together while seeing the same image in which they are together. On the screen, they can approach and hug each other. Therefore, we prop...

The software package which allows to automate the visual monitoring of the spacecraft docking approach with the international space station is being considered. The initial data for this complex is the video signal received from the TV-camera, mounted on the spacecraft board. The offered algorithms of this video signal processing in real time allow to restore the basic characteristics of the sp...

Appendix A: Methods 2 A-A Details of our repacker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 A-B Timeout vs. UNSAT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 A-C Repacking assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 A-D Description of datasets and figures . . . . . . . . . . ....