Advanced Solving Technology for Dynamic and Reactive Applications

Brewka, GerhardEllmauthaler, StefanKern-Isberner, GabrieleObermeier, PhilippOstrowski, MaxRomero, JavierSchaub, TorstenSchieweck, Steffen2019-04-242019-04-242018https://dl.gi.de/handle/20.500.12116/21879enAdvanced Solving Technology for Dynamic and Reactive ApplicationsText/Journal10.1007/s13218-018-0538-81610-1987