@phdthesis{Liu2021, author = {Ke Liu}, title = {Parallel constraint solving for combinatorial problems}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, doi = {10.26127/BTUOpen-5399}, year = {2021}, }