• Constraint Satisfaction Problems
  • Graphs as models for planning, probability reasoning and deep learning
  • Approximation algorithms
  • AI for discovery in extremal graph theory