%0 Thesis %1 phd/dnb/Ehlers17 %A Ehlers, Thorsten %D 2017 %K %T SAT and CP - Parallelisation and Applications.

@phdthesis{phd/dnb/Ehlers17, added-at = {2023-12-13T10:07:10.000+0100}, author = {Ehlers, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/2006e6908c94c67c3b49b6dd1a2e06f6c/admin}, ee = {http://d-nb.info/113720642X}, interhash = {d5059d386edc9800b64572570e0e9f6b}, intrahash = {006e6908c94c67c3b49b6dd1a2e06f6c}, keywords = {}, school = {University of Kiel, Germany}, timestamp = {2023-12-13T10:07:10.000+0100}, title = {SAT and CP - Parallelisation and Applications.}, year = 2017 }