Search dblp for Publications

export results for "toc:db/conf/fsttcs/fsttcs2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fsttcs/0001CHMS23,
  author       = {Dmitry Chistikov and
                  Wojciech Czerwinski and
                  Piotr Hofman and
                  Filip Mazowiecki and
                  Henry Sinclair{-}Banks},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Acyclic Petri and Workflow Nets with Resets},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {16:1--16:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.16},
  doi          = {10.4230/LIPICS.FSTTCS.2023.16},
  timestamp    = {Wed, 13 Dec 2023 14:08:06 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/0001CHMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0001MST23,
  author       = {R. Krithika and
                  V. K. Kutty Malu and
                  Roohani Sharma and
                  Prafullkumar Tale},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Parameterized Complexity of Biclique Contraction and Balanced Biclique
                  Contraction},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {8:1--8:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.8},
  doi          = {10.4230/LIPICS.FSTTCS.2023.8},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/0001MST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/00020S23,
  author       = {Anupam Das and
                  Abhishek De and
                  Alexis Saurin},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Comparing Infinitary Systems for Linear Logic with Fixed Points},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {40:1--40:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.40},
  doi          = {10.4230/LIPICS.FSTTCS.2023.40},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/00020S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0002KK0023,
  author       = {Tanmay Inamdar and
                  Lawqueen Kanesh and
                  Madhumita Kundu and
                  M. S. Ramanujan and
                  Saket Saurabh},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {{FPT} Approximations for Packing and Covering Problems Parameterized
                  by Elimination Distance and Even Less},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {28:1--28:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.28},
  doi          = {10.4230/LIPICS.FSTTCS.2023.28},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/0002KK0023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AbboudKLS23,
  author       = {Amir Abboud and
                  Seri Khoury and
                  Oree Leibowitz and
                  Ron Safier},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Listing 4-Cycles},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {25:1--25:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.25},
  doi          = {10.4230/LIPICS.FSTTCS.2023.25},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AbboudKLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Agrawal023,
  author       = {Akanksha Agrawal and
                  M. S. Ramanujan},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Approximately Interpolating Between Uniformly and Non-Uniformly Polynomial
                  Kernels},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {36:1--36:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.36},
  doi          = {10.4230/LIPICS.FSTTCS.2023.36},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Agrawal023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlmagorAB23,
  author       = {Shaull Almagor and
                  Daniel Assa and
                  Udi Boker},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Synchronized {CTL} over One-Counter Automata},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {19:1--19:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.19},
  doi          = {10.4230/LIPICS.FSTTCS.2023.19},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AlmagorAB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AsarinDDI23,
  author       = {Eugene Asarin and
                  Aldric Degorre and
                  Catalin Dima and
                  Bernardo Jacobo Incl{\'{a}}n},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Bandwidth of Timed Automata: 3 Classes},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {10:1--10:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.10},
  doi          = {10.4230/LIPICS.FSTTCS.2023.10},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AsarinDDI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BeraT23,
  author       = {Debajyoti Bera and
                  SAPV Tharrmashastha},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {A Generalized Quantum Branching Program},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {31:1--31:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.31},
  doi          = {10.4230/LIPICS.FSTTCS.2023.31},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BeraT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BhaskarP23,
  author       = {Ashwin Bhaskar and
                  M. Praveen},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Constraint {LTL} with Remote Access},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {41:1--41:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.41},
  doi          = {10.4230/LIPICS.FSTTCS.2023.41},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BhaskarP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bisht0V23,
  author       = {Pranav Bisht and
                  Nikhil Gupta and
                  Ilya Volkovich},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Towards Identity Testing for Sums of Products of Read-Once and Multilinear
                  Bounded-Read Formulae},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {9:1--9:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.9},
  doi          = {10.4230/LIPICS.FSTTCS.2023.9},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Bisht0V23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bogdanov0FIKS23,
  author       = {Andrej Bogdanov and
                  Krishnamoorthy Dinesh and
                  Yuval Filmus and
                  Yuval Ishai and
                  Avi Kaplan and
                  Sruthi Sekar},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Bounded Simultaneous Messages},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {23:1--23:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.23},
  doi          = {10.4230/LIPICS.FSTTCS.2023.23},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Bogdanov0FIKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrihayeGMR23,
  author       = {Thomas Brihaye and
                  Aline Goeminne and
                  James C. A. Main and
                  Mickael Randour},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Reachability Games and Friends: {A} Journey Through the Lens of Memory
                  and Complexity (Invited Talk)},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {1:1--1:26},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.1},
  doi          = {10.4230/LIPICS.FSTTCS.2023.1},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BrihayeGMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChakrabortyV23,
  author       = {Arghya Chakraborty and
                  Rahul Vaze},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Online Facility Location with Weights and Congestion},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {6:1--6:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.6},
  doi          = {10.4230/LIPICS.FSTTCS.2023.6},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/ChakrabortyV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChatterjeeGT23,
  author       = {Prerona Chatterjee and
                  Kshitij Gajjar and
                  Anamay Tengse},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Monotone Classes Beyond {VNP}},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {11:1--11:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.11},
  doi          = {10.4230/LIPICS.FSTTCS.2023.11},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/ChatterjeeGT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChoudhuryM23,
  author       = {Abhimanyu Choudhury and
                  Meena Mahajan},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Dependency Schemes in CDCL-Based {QBF} Solving: {A} Proof-Theoretic
                  Study},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {38:1--38:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.38},
  doi          = {10.4230/LIPICS.FSTTCS.2023.38},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/ChoudhuryM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChughPS23,
  author       = {Rahul Chugh and
                  Supartha Podder and
                  Swagato Sanyal},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Decision Tree Complexity Versus Block Sensitivity and Degree},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {27:1--27:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.27},
  doi          = {10.4230/LIPICS.FSTTCS.2023.27},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/ChughPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CzerwinskiDGH0S23,
  author       = {Wojciech Czerwinski and
                  Maciej Debski and
                  Tomasz Gogasz and
                  Gordon Hoi and
                  Sanjay Jain and
                  Michal Skrzypczak and
                  Frank Stephan and
                  Christopher Tan},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Languages Given by Finite Automata over the Unary Alphabet},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {22:1--22:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.22},
  doi          = {10.4230/LIPICS.FSTTCS.2023.22},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CzerwinskiDGH0S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CzerwinskiJ0LO23,
  author       = {Wojciech Czerwinski and
                  Isma{\"{e}}l Jecker and
                  Slawomir Lasota and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Lukasz Orlikowski},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {New Lower Bounds for Reachability in Vector Addition Systems},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {35:1--35:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.35},
  doi          = {10.4230/LIPICS.FSTTCS.2023.35},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CzerwinskiJ0LO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DarkD023,
  author       = {Jacques Dark and
                  Adithya Diddapur and
                  Christian Konrad},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Interval Selection in Data Streams: Weighted Intervals and the Insertion-Deletion
                  Setting},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {24:1--24:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.24},
  doi          = {10.4230/LIPICS.FSTTCS.2023.24},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/DarkD023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FeinsteinK23,
  author       = {Yoav Feinstein and
                  Orna Kupferman},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Monotonicity Characterizations of Regular Languages},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {26:1--26:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.26},
  doi          = {10.4230/LIPICS.FSTTCS.2023.26},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FeinsteinK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FinkelKMMZ23,
  author       = {Alain Finkel and
                  Shankara Narayanan Krishna and
                  Khushraj Madnani and
                  Rupak Majumdar and
                  Georg Zetzsche},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Counter Machines with Infrequent Reversals},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {42:1--42:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.42},
  doi          = {10.4230/LIPICS.FSTTCS.2023.42},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FinkelKMMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GahlawatZ23,
  author       = {Harmender Gahlawat and
                  Meirav Zehavi},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Parameterized Complexity of Incomplete Connected Fair Division},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {14:1--14:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.14},
  doi          = {10.4230/LIPICS.FSTTCS.2023.14},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GahlawatZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GuruswamiS23,
  author       = {Venkatesan Guruswami and
                  Rishi Saket},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Hardness of Learning Boolean Functions from Label Proportions},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {37:1--37:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.37},
  doi          = {10.4230/LIPICS.FSTTCS.2023.37},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GuruswamiS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HenryGD23,
  author       = {L{\'{e}}o Henry and
                  Blaise Genest and
                  Alexandre Drewery},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Reinforcement Planning for Effective {\(\epsilon\)}-Optimal Policies
                  in Dense Time with Discontinuities},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {13:1--13:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.13},
  doi          = {10.4230/LIPICS.FSTTCS.2023.13},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/HenryGD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KavithaM23,
  author       = {Telikepalli Kavitha and
                  Kazuhisa Makino},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Perfect Matchings and Popularity in the Many-To-Many Setting},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {43:1--43:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.43},
  doi          = {10.4230/LIPICS.FSTTCS.2023.43},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KavithaM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KocherZ23,
  author       = {Chris K{\"{o}}cher and
                  Georg Zetzsche},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Regular Separators for {VASS} Coverability Languages},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {15:1--15:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.15},
  doi          = {10.4230/LIPICS.FSTTCS.2023.15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KocherZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kuske23,
  author       = {Dietrich Kuske},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {A Class of Rational Trace Relations Closed Under Composition},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {20:1--20:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.20},
  doi          = {10.4230/LIPICS.FSTTCS.2023.20},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Kuske23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LalondeMW23,
  author       = {Olivier Lalonde and
                  Nikhil S. Mande and
                  Ronald de Wolf},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Tight Bounds for the Randomized and Quantum Communication Complexities
                  of Equality with Small Error},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {32:1--32:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.32},
  doi          = {10.4230/LIPICS.FSTTCS.2023.32},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/LalondeMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Lechine23,
  author       = {Ulysse L{\'{e}}chine},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Revisiting Mulmuley: Simple Proof That Maxflow Is Not in the Algebraic
                  Version of {NC}},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {33:1--33:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.33},
  doi          = {10.4230/LIPICS.FSTTCS.2023.33},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Lechine23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MandePS23,
  author       = {Nikhil S. Mande and
                  Manaswi Paraashar and
                  Nitin Saurabh},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Randomized and Quantum Query Complexities of Finding a King in a Tournament},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {30:1--30:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.30},
  doi          = {10.4230/LIPICS.FSTTCS.2023.30},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MandePS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MathewPSS23,
  author       = {Prince Mathew and
                  Vincent Penelle and
                  Prakash Saivasan and
                  A. V. Sreejith},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Weighted One-Deterministic-Counter Automata},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {39:1--39:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.39},
  doi          = {10.4230/LIPICS.FSTTCS.2023.39},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MathewPSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MelkebeekS23,
  author       = {Dieter van Melkebeek and
                  Nicollas M. Sdroievski},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Leakage Resilience, Targeted Pseudorandom Generators, and Mild Derandomization
                  of Arthur-Merlin Protocols},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {29:1--29:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.29},
  doi          = {10.4230/LIPICS.FSTTCS.2023.29},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MelkebeekS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MurhekarS23,
  author       = {Aniket Murhekar and
                  Eklavya Sharma},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Nash Equilibria of Two-Player Matrix Games Repeated Until Collision},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {18:1--18:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.18},
  doi          = {10.4230/LIPICS.FSTTCS.2023.18},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MurhekarS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Raghavendra23,
  author       = {Prasad Raghavendra},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {On Measuring Average Case Complexity via Sum-Of-Squares Degree (Invited
                  Talk)},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {2:1--2:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.2},
  doi          = {10.4230/LIPICS.FSTTCS.2023.2},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Raghavendra23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RoychoudhuryY23,
  author       = {Jishnu Roychoudhury and
                  Jatin Yadav},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {An Optimal Algorithm for Sorting in Trees},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {7:1--7:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.7},
  doi          = {10.4230/LIPICS.FSTTCS.2023.7},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/RoychoudhuryY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SaglamS23,
  author       = {Irmak Saglam and
                  Anne{-}Kathrin Schmuck},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Solving Odd-Fair Parity Games},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {34:1--34:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.34},
  doi          = {10.4230/LIPICS.FSTTCS.2023.34},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/SaglamS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Schulman23,
  author       = {Leonard J. Schulman},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Computational and Information-Theoretic Questions from Causal Inference
                  (Invited Talk)},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {3:1--3:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.3},
  doi          = {10.4230/LIPICS.FSTTCS.2023.3},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Schulman23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Shoham23,
  author       = {Sharon Shoham},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {From Concept Learning to SAT-Based Invariant Inference (Invited Talk)},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {4:1--4:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.4},
  doi          = {10.4230/LIPICS.FSTTCS.2023.4},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Shoham23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Vahanwala23,
  author       = {Mihir Vahanwala},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers
                  of Decidability for Explicitly Given Neighbourhoods},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {17:1--17:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.17},
  doi          = {10.4230/LIPICS.FSTTCS.2023.17},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Vahanwala23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Vazirani23,
  author       = {Vijay V. Vazirani},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Towards a Practical, Budget-Oblivious Algorithm for the Adwords Problem
                  Under Small Bids},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {21:1--21:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.21},
  doi          = {10.4230/LIPICS.FSTTCS.2023.21},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Vazirani23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Vishnoi23,
  author       = {Nisheeth K. Vishnoi},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Algorithms in the Presence of Biased Inputs (Invited Talk)},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {5:1--5:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.5},
  doi          = {10.4230/LIPICS.FSTTCS.2023.5},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Vishnoi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/X23,
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {0:1--0:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.0},
  doi          = {10.4230/LIPICS.FSTTCS.2023.0},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/X23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/YaoC23,
  author       = {Alvin Yan Hong Yao and
                  Diptarka Chakraborty},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Approximate Maximum Rank Aggregation: Beyond the Worst-Case},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {12:1--12:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.12},
  doi          = {10.4230/LIPICS.FSTTCS.2023.12},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/YaoC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2023,
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-304-1},
  isbn         = {978-3-95977-304-1},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics