Artificial Intelligence, combinatorial design theory, combinatorial search, SAT+CAS, satisfiability checking, symbolic computation.