@phdthesis{Liu2022, author = {Ke Liu}, title = {Parallel Constraint Solving for Combinatorial Problems}, type = {doctoralthesis}, pages = {179}, doi = {10.26127/BTUOpen-5437}, year = {2022}, }