@inproceedings{ICAPS20paper47,
  title     = {Certified Unsolvability for SAT Planning with Property Directed Reachability},
  author    = {Salom{\'{e}} Eriksson and Malte Helmert},
  booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling ({ICAPS})},
  publisher = {{AAAI} Press},
  pages     = {90--100},
  year      = {2020}
}