TY - THES A1 - Liu, Ke T1 - Parallel Constraint Solving for Combinatorial Problems KW - Constraint Solving KW - Constraint Programming KW - Parallel Processing Y1 - 2022 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/28341 UR - https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-54375 CY - Cottbus ER -