Symmetry in Software Synthesis

Andrés Goens, Sergio Siccha, Jerónimo Castrillón. Symmetry in Software Synthesis. TACO, 14(2), 2017. [doi]

@article{GoensSC17,
  title = {Symmetry in Software Synthesis},
  author = {Andrés Goens and Sergio Siccha and Jerónimo Castrillón},
  year = {2017},
  doi = {10.1145/3095747},
  url = {http://doi.acm.org/10.1145/3095747},
  researchr = {https://researchr.org/publication/GoensSC17},
  cites = {0},
  citedby = {0},
  journal = {TACO},
  volume = {14},
  number = {2},
}