Declarative Modelling and Efficient Optimization using Constraint Technology

Geske, UlrichWolf, ArminHegering, Heinz-GerdLehmann, AxelOhlbach, Hans JürgenScheideler, Christian2019-04-032019-04-032008978-3-88579-228-4https://dl.gi.de/handle/20.500.12116/21247enDeclarative Modelling and Efficient Optimization using Constraint TechnologyText/Conference Paper1617-5468