1 Introduction  
2 An Overview of Target Formalisms  
3 From Classical Planning to MAPF  
4 Milestones Making Compilation Competitive  
5 Beyond Simple Time Expansion  
6 SAT-based vs. MIP-based Compilation  
7 Conclusion