@phdthesis{Liu, author = {Liu, Ke}, title = {Parallel Constraint Solving for Combinatorial Problems}, address = {Cottbus}, doi = {10.26127/BTUOpen-5437}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-54375}, pages = {179}, language = {en} }