CSP-Completeness And Its Applications