@inproceedings{gnad-et-al-uipc2016a,
  author       = {Daniel Gnad and {\'A}lvaro Torralba and J{\"o}rg Hoffmann and Martin
    Wehrle},
  title        = {Decoupled Search for Proving Unsolvability},
  pages        = {16--18},
  editor       = {Christian Muise and Nir Lipovetzky},
  booktitle    = {{U}nsolvability {I}nternational {P}lanning {C}ompetition: Planner
    Abstracts},
  year         = 2016,
}