Combinatorics of Local Search: An Optimal 4-Local Hall's Theorem for Planar Graphs. - Daniel Antunes; Claire Mathieu; Nabil H. Mustafa (ESA, 2017)