Gabriel Istrate, Cosmin Bonchis, Adrian Craciun. Kernelization, Proof Complexity and Social Choice. In Nikhil Bansal, Emanuela Merelli, James Worrell 0001, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). Volume 198 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
@inproceedings{IstrateBC21,
title = {Kernelization, Proof Complexity and Social Choice},
author = {Gabriel Istrate and Cosmin Bonchis and Adrian Craciun},
year = {2021},
doi = {10.4230/LIPIcs.ICALP.2021.135},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.135},
researchr = {https://researchr.org/publication/IstrateBC21},
cites = {0},
citedby = {0},
booktitle = {48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
editor = {Nikhil Bansal and Emanuela Merelli and James Worrell 0001},
volume = {198},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-195-5},
}