280 citations · 436 across the 21 of their papers we have counts for
Showing 2018 · cs.AIShow all
2 papers · 2 filters
cs.AI2018
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Constraint Programming (CP) is a powerful declarative programming paradigm where inference and search are interleaved to find feasible and optimal solutions to various type of cons…
cs.AI2018
Multi-Cycle Assignment Problems with Rotational Diversity
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Multi-cycle assignment problems address scenarios where a series of general assignment problems has to be solved sequentially. Subsequent cycles can differ from previous ones due t…