@misc{indiciaed433f0c1a914,
  title = {Satisfiability and Evolution},
  author = {Adi Livnat and Christos Papadimitriou and Aviad Rubinstein and Gregory Valiant and Andrew Wan},
  year = {2014},
  url = {https://arxiv.org/abs/1312.1983},
  note = {Source identifier: 1312.1983}
}