AI heuristics, automated reasoning, constraint satisfaction, constraint solving, Linear Integer Arithmetic, logic programming, SAT solving, SAT/SMT.
