%0 Conference Paper %1 conf/focs/LivnatPRVW14 %A Livnat, Adi %A Papadimitriou, Christos H. %A Rubinstein, Aviad %A Valiant, Gregory %A Wan, Andrew %B FOCS %D 2014 %I IEEE Computer Society %K %P 524-530 %T Satisfiability and Evolution. %U http://dblp.uni-trier.de/db/conf/focs/focs2014.html#LivnatPRVW14 %@ 978-1-4799-6517-5

@inproceedings{conf/focs/LivnatPRVW14, added-at = {2023-12-13T06:53:59.000+0100}, author = {Livnat, Adi and Papadimitriou, Christos H. and Rubinstein, Aviad and Valiant, Gregory and Wan, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/2668ea1b1863d4cfcd6c168f8e4e2afa8/admin}, booktitle = {FOCS}, crossref = {conf/focs/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2014.62}, interhash = {b300a89c4dcdf0353c2639ff5daffda0}, intrahash = {668ea1b1863d4cfcd6c168f8e4e2afa8}, isbn = {978-1-4799-6517-5}, keywords = {}, pages = {524-530}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T06:53:59.000+0100}, title = {Satisfiability and Evolution.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs2014.html#LivnatPRVW14}, year = 2014 }