This is a CSP(constraint satisfaction problem) question.

You want to build a creative novel AI, and you cannot build it alone. Therefore, you want to hire 2 C++ SWE, 2 AI SWE, 1 Python SWE, 1 system engineer, 1 marketer, and 1 UI/UX designer.

The following is a list of qualified candidates with their skills:

Alec: C++, AI

Lora: C++, AI

Wu: Python, AI

Rez: Python, C++

Lee: System, C++

Sunny: System, Marketing

Mac: Design, Marketing

Due to financial and other reasons, you may only have 4 employees. Since all candidates are really inspired by the project, they would like to work for 2 jobs if the skillsets match.

Please model this as a CSP problem. First, consider the skill openings as the variables and write out the value domains for each variable. Then, write the constraints for these variables/domains. Please provide mathematical formulas and a brief explanation.