More general explanations for the Not-First/Not-Last propagator
Y. Elbakri (TU Delft - Electrical Engineering, Mathematics and Computer Science)
I.C.W.M. Marijnissen – Mentor (TU Delft - Algorithmics)
Emir Demirović – Mentor (TU Delft - Algorithmics)
Stephanie Wehner – Graduation committee member (TU Delft - QID/Wehner Group)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
Currently explanations for the Not-First/Not-Last propagators for the disjunctive constraint have not been explored thoroughly, and have room for improvement.
In this paper, we look into attempting to give more general explanations by looking through the powerset of tasks and finding a smaller set which still propagates.
We have implemented naive, the state-of-the-art and our subset-finding explanations and compared them all.
Experimentally, around 50\% of the results show a lower amount of conflicts and average literal bound distance, however a majority have a higher runtime.
In addition, the more subsets we consider the bigger the runtime, however it not necessarily decrease in amount of conflicts and average literal bound distance.