Eriksson, S.; Helmert, M. Certified Unsolvability for SAT Planning With Property Directed Reachability. ICAPS 2020, 30, 90-100.