@InProceedings{deoliveiraoliveira:LIPIcs.STACS.2016.56, author = {de Oliveira Oliveira, Mateus}, title = {{Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function}}, booktitle = {33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)}, pages = {56:1--56:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-001-9}, ISSN = {1868-8969}, year = {2016}, volume = {47}, editor = {Ollinger, Nicolas and Vollmer, Heribert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2016.56}, URN = {urn:nbn:de:0030-drops-57571}, doi = {10.4230/LIPIcs.STACS.2016.56}, annote = {Keywords: non-linear lower bounds, treewidth, element distinctness} }