@misc{BeckerLoefflerHofstedt2019, author = {Ilja Becker and Sven L{\"o}ffler and Petra Hofstedt}, title = {Sharing Nogoods between Portfolio Instances in Choco Solver}, booktitle = {20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019}, editor = {Martin Pl{\"u}micke and Fayez Abu Alia}, isbn = {978-3-8440-6933-4}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_noref}, pages = {31 -- 36}, year = {2019}, }