I looked up on the internet, but I could not find any 'big-list' of variants of SAT problem.Apart from the (common) SAT, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT what else variants are there? (also it will be really useful if there complexity classes are given (where possible))
variations of SAT
cc.complexity theory;sat;big list