@inproceedings{DBLP:conf/ictai/Surynek18,
  author    = {Pavel Surynek},
  title     = {Finding Optimal Solutions to Token Swapping by Conflict-Based Search
               and Reduction to {SAT}},
  booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2018, 5-7 November 2018, Volos, Greece.},
  pages     = {592--599},
  year      = {2018},
  crossref  = {DBLP:conf/ictai/2018},
  url       = {https://doi.org/10.1109/ICTAI.2018.00096},
  doi       = {10.1109/ICTAI.2018.00096},
  timestamp = {Sun, 23 Dec 2018 08:29:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/Surynek18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictai/2018,
  editor    = {Lefteri H. Tsoukalas and
               {\'{E}}ric Gr{\'{e}}goire and
               Miltiadis Alamaniotis},
  title     = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2018, 5-7 November 2018, Volos, Greece},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8575556},
  timestamp = {Tue, 18 Dec 2018 16:38:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}