Go to the corresponding LIPIcs Volume Portal 
Carmosino, Marco L. ; Impagliazzo, Russell ; Kabanets, Valentine ; Kolokolova, Antonina
pdfformat: 

@InProceedings{carmosino_et_al:LIPIcs:2016:5855, author = {Marco L. Carmosino and Russell Impagliazzo and Valentine Kabanets and Antonina Kolokolova}, title = {{Learning Algorithms from Natural Proofs}}, booktitle = {31st Conference on Computational Complexity (CCC 2016)}, pages = {10:110:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770088}, ISSN = {18688969}, year = {2016}, volume = {50}, editor = {Ran Raz}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5855}, URN = {urn:nbn:de:0030drops58557}, doi = {10.4230/LIPIcs.CCC.2016.10}, annote = {Keywords: natural proofs, circuit complexity, lower bounds, learning, compression} }
Keywords:  natural proofs, circuit complexity, lower bounds, learning, compression  
Seminar:  31st Conference on Computational Complexity (CCC 2016)  
Issue Date:  2016  
Date of publication:  18.05.2016 