@inproceedings{DBLP:conf/aiia/Surynek19,
  author    = {Pavel Surynek},
  title     = {On the Tour Towards {DPLL(MAPF)} and Beyond},
  booktitle = {Discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International
               Conference of the Italian Association for Artificial Intelligence,
               Rende, Italy, November 19-22, 2019},
  pages     = {74--83},
  year      = {2019},
  crossref  = {DBLP:conf/aiia/2019ddc},
  url       = {http://ceur-ws.org/Vol-2495/paper9.pdf},
  timestamp = {Mon, 18 Nov 2019 16:57:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/Surynek19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aiia/2019ddc,
  editor    = {Mario Alviano and
               Gianluigi Greco and
               Marco Maratea and
               Francesco Scarcello},
  title     = {Discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International
               Conference of the Italian Association for Artificial Intelligence,
               Rende, Italy, November 19-22, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2495},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2495},
  urn       = {urn:nbn:de:0074-2495-9},
  timestamp = {Mon, 18 Nov 2019 16:57:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2019ddc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}