TY  - RPRT
TI  - Satisfiability and Evolution
AU  - Adi Livnat
AU  - Christos Papadimitriou
AU  - Aviad Rubinstein
AU  - Gregory Valiant
AU  - Andrew Wan
PY  - 2014
UR  - https://arxiv.org/abs/1312.1983
ID  - 1312.1983
ER  -