"Graph theory" . "Logical expressions" . "Polyhedra" . "Programming constructs" .