"Logical expressions" . "Graph theory" . "Heuristic algorithms" . "Geometry" .