TY - THES A1 - Liu, Ke T1 - Parallel Constraint Solving for Combinatorial Problems KW - Constraint Solving KW - Constraint Programming KW - Parallel Processing Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-54375 CY - Cottbus ER -