TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra A2 - Plümicke, Martin A2 - Alia, Fayez Abu T1 - Sharing Nogoods between Portfolio Instances in Choco Solver T2 - 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019 Y1 - 2019 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/24905 SN - 978-3-8440-6933-4 SP - 31 EP - 36 PB - Shaker Verlag CY - Düren ER -