Fedor V. Fomin, Serge Gaspers, Daniel Lokshtanov, Saket Saurabh: Exact algorithms via monotone local search. STOC 2016: 764-775