@inproceedings{FazekasSinnlBiereParragh-CPAIOR20,
  author    = {Katalin Fazekas and
               Markus Sinnl and
               Armin Biere and
               Sophie N. Parragh},
  editor    = {Emmanuel Hebrard and
               Nysret Musliu},
  title     = {Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem},
  booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
               Operations Research - 17th International Conference, {CPAIOR} 2020,
               Vienna, Austria, September 21-24, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12296},
  pages     = {186--204},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-58942-4\_13},
  doi       = {10.1007/978-3-030-58942-4\_13},
}