@inproceedings{FazekasBiereSinnlParragh-SAT-Competition-2020-benchmarks,
  author    = {Katalin Fazekas and Markus Sinnl and Armin Biere and Sophie Parragh},
  title     = {Duplex Encoding of Antibandwidth Feasibility Formulas Submitted to the {SAT Competition 2020}},
  pages     = {81 -- 82},
  editor    = {Tomas Balyo and Nils Froleyks and Marijn Heule and Markus Iser and Matti J{\"a}rvisalo and Martin Suda},
  booktitle = {Proc.~of {SAT Competition} 2020 -- Solver and Benchmark Descriptions},
  volume    = {B-2020-1},
  series    = {Department of Computer Science Report Series B},
  publisher = {University of Helsinki},
  year      = 2020,
}