Symmetry in Software Synthesis

@article{goens_taco17,
  author       = {Andr{\'{e}}s Goens and
                  Sergio Siccha and
                  Jer{\'{o}}nimo Castrill{\'{o}}n},
  title        = {Symmetry in Software Synthesis},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {14},
  number       = {2},
  pages        = {20:1--20:26},
  year         = {2017},
  url          = {https://doi.org/10.1145/3095747},
  doi          = {10.1145/3095747},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
}