@inproceedings{DBLP:conf/ictai/Surynek20,
  author    = {Pavel Surynek},
  title     = {At-Most-One Constraints in Efficient Representations of Mutex Networks},
  booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
  pages     = {170--177},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/ICTAI50040.2020.00036},
  doi       = {10.1109/ICTAI50040.2020.00036},
  timestamp = {Mon, 04 Jan 2021 18:04:30 +0100},
  biburl    = {https://dblp.org/rec/conf/ictai/Surynek20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}