@Proceedings{bouyer_et_al:LIPIcs.FSTTCS.2023,
title = {{LIPIcs, Volume 284, FSTTCS 2023, Complete Volume}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {1--784},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023},
URN = {urn:nbn:de:0030-drops-193724},
doi = {10.4230/LIPIcs.FSTTCS.2023},
annote = {Keywords: LIPIcs, Volume 284, FSTTCS 2023, Complete Volume}
}
@InProceedings{bouyer_et_al:LIPIcs.FSTTCS.2023.0,
author = {Bouyer, Patricia and Srinivasan, Srikanth},
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)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.0},
URN = {urn:nbn:de:0030-drops-193737},
doi = {10.4230/LIPIcs.FSTTCS.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{brihaye_et_al:LIPIcs.FSTTCS.2023.1,
author = {Brihaye, Thomas and Goeminne, Aline and Main, James C. A. and Randour, Mickael},
title = {{Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {1:1--1:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.1},
URN = {urn:nbn:de:0030-drops-193747},
doi = {10.4230/LIPIcs.FSTTCS.2023.1},
annote = {Keywords: Games on graphs, reachability, finite-memory strategies, complexity}
}
@InProceedings{raghavendra:LIPIcs.FSTTCS.2023.2,
author = {Raghavendra, Prasad},
title = {{On Measuring Average Case Complexity via Sum-Of-Squares Degree}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.2},
URN = {urn:nbn:de:0030-drops-193750},
doi = {10.4230/LIPIcs.FSTTCS.2023.2},
annote = {Keywords: semidefinite programming, sum-of-squares SDP, average case complexity, random SAT, stochastic block models}
}
@InProceedings{schulman:LIPIcs.FSTTCS.2023.3,
author = {Schulman, Leonard J.},
title = {{Computational and Information-Theoretic Questions from Causal Inference}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.3},
URN = {urn:nbn:de:0030-drops-193769},
doi = {10.4230/LIPIcs.FSTTCS.2023.3},
annote = {Keywords: Causal Inference, Bayesian Networks}
}
@InProceedings{shoham:LIPIcs.FSTTCS.2023.4,
author = {Shoham, Sharon},
title = {{From Concept Learning to SAT-Based Invariant Inference}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {4:1--4:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.4},
URN = {urn:nbn:de:0030-drops-193771},
doi = {10.4230/LIPIcs.FSTTCS.2023.4},
annote = {Keywords: invariant inference, complexity, exact learning, interpolation, IC3}
}
@InProceedings{vishnoi:LIPIcs.FSTTCS.2023.5,
author = {Vishnoi, Nisheeth K.},
title = {{Algorithms in the Presence of Biased Inputs}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {5:1--5:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.5},
URN = {urn:nbn:de:0030-drops-193788},
doi = {10.4230/LIPIcs.FSTTCS.2023.5},
annote = {Keywords: Algorithmic Bias}
}
@InProceedings{chakraborty_et_al:LIPIcs.FSTTCS.2023.6,
author = {Chakraborty, Arghya and Vaze, Rahul},
title = {{Online Facility Location with Weights and Congestion}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.6},
URN = {urn:nbn:de:0030-drops-193797},
doi = {10.4230/LIPIcs.FSTTCS.2023.6},
annote = {Keywords: online algorithms, online facility location, probabilistic method, weighted-requests, congestion}
}
@InProceedings{roychoudhury_et_al:LIPIcs.FSTTCS.2023.7,
author = {Roychoudhury, Jishnu and Yadav, Jatin},
title = {{An Optimal Algorithm for Sorting in Trees}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {7:1--7:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.7},
URN = {urn:nbn:de:0030-drops-193807},
doi = {10.4230/LIPIcs.FSTTCS.2023.7},
annote = {Keywords: Sorting, Trees}
}
@InProceedings{krithika_et_al:LIPIcs.FSTTCS.2023.8,
author = {Krithika, R. and Malu, V. K. Kutty and Sharma, Roohani and Tale, Prafullkumar},
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)},
pages = {8:1--8:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.8},
URN = {urn:nbn:de:0030-drops-193811},
doi = {10.4230/LIPIcs.FSTTCS.2023.8},
annote = {Keywords: contraction, bicliques, balanced bicliques, parameterized complexity}
}
@InProceedings{bisht_et_al:LIPIcs.FSTTCS.2023.9,
author = {Bisht, Pranav and Gupta, Nikhil and Volkovich, Ilya},
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)},
pages = {9:1--9:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.9},
URN = {urn:nbn:de:0030-drops-193829},
doi = {10.4230/LIPIcs.FSTTCS.2023.9},
annote = {Keywords: Identity Testing, Derandomization, Bounded-Read Formulae, Arithmetic Formulas}
}
@InProceedings{asarin_et_al:LIPIcs.FSTTCS.2023.10,
author = {Asarin, Eugene and Degorre, Aldric and Dima, C\u{a}t\u{a}lin and Jacobo Incl\'{a}n, Bernardo},
title = {{Bandwidth of Timed Automata: 3 Classes}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {10:1--10:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.10},
URN = {urn:nbn:de:0030-drops-193838},
doi = {10.4230/LIPIcs.FSTTCS.2023.10},
annote = {Keywords: timed automata, information theory, bandwidth, entropy, orbit graphs, factorization forests}
}
@InProceedings{chatterjee_et_al:LIPIcs.FSTTCS.2023.11,
author = {Chatterjee, Prerona and Gajjar, Kshitij and Tengse, Anamay},
title = {{Monotone Classes Beyond VNP}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {11:1--11:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.11},
URN = {urn:nbn:de:0030-drops-193846},
doi = {10.4230/LIPIcs.FSTTCS.2023.11},
annote = {Keywords: Algebraic Complexity, Monotone Computation, VPSPACE, Transparent Polynomials}
}
@InProceedings{alvin_et_al:LIPIcs.FSTTCS.2023.12,
author = {Alvin, Yan Hong Yao and Chakraborty, Diptarka},
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)},
pages = {12:1--12:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.12},
URN = {urn:nbn:de:0030-drops-193857},
doi = {10.4230/LIPIcs.FSTTCS.2023.12},
annote = {Keywords: Rank Aggregation, Center Problem, Mallows Model, Approximation Algorithms, Clustering with Outliers}
}
@InProceedings{henry_et_al:LIPIcs.FSTTCS.2023.13,
author = {Henry, L\'{e}o and Genest, Blaise and Drewery, Alexandre},
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)},
pages = {13:1--13:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.13},
URN = {urn:nbn:de:0030-drops-193866},
doi = {10.4230/LIPIcs.FSTTCS.2023.13},
annote = {Keywords: reinforcement planning, timed automata, planning}
}
@InProceedings{gahlawat_et_al:LIPIcs.FSTTCS.2023.14,
author = {Gahlawat, Harmender and Zehavi, Meirav},
title = {{Parameterized Complexity of Incomplete Connected Fair Division}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {14:1--14:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.14},
URN = {urn:nbn:de:0030-drops-193877},
doi = {10.4230/LIPIcs.FSTTCS.2023.14},
annote = {Keywords: Fair Division, Kernelization, Connected Fair Allocation, Fixed parameter tractability}
}
@InProceedings{kocher_et_al:LIPIcs.FSTTCS.2023.15,
author = {K\"{o}cher, Chris and Zetzsche, Georg},
title = {{Regular Separators for VASS Coverability Languages}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {15:1--15:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.15},
URN = {urn:nbn:de:0030-drops-193883},
doi = {10.4230/LIPIcs.FSTTCS.2023.15},
annote = {Keywords: Vector Addition System, Separability, Regular Language}
}
@InProceedings{chistikov_et_al:LIPIcs.FSTTCS.2023.16,
author = {Chistikov, Dmitry and Czerwi\'{n}ski, Wojciech and Hofman, Piotr and Mazowiecki, Filip and Sinclair-Banks, Henry},
title = {{Acyclic Petri and Workflow Nets with Resets}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {16:1--16:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.16},
URN = {urn:nbn:de:0030-drops-193892},
doi = {10.4230/LIPIcs.FSTTCS.2023.16},
annote = {Keywords: Petri nets, Workflow Nets, Resets, Acyclic, Reachability, Coverability}
}
@InProceedings{vahanwala:LIPIcs.FSTTCS.2023.17,
author = {Vahanwala, Mihir},
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)},
pages = {17:1--17:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.17},
URN = {urn:nbn:de:0030-drops-193909},
doi = {10.4230/LIPIcs.FSTTCS.2023.17},
annote = {Keywords: Dynamical Systems, Verification, Robustness, Linear Recurrence Sequences, Positivity, Ultimate Positivity}
}
@InProceedings{murhekar_et_al:LIPIcs.FSTTCS.2023.18,
author = {Murhekar, Aniket and Sharma, Eklavya},
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)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.18},
URN = {urn:nbn:de:0030-drops-193913},
doi = {10.4230/LIPIcs.FSTTCS.2023.18},
annote = {Keywords: Two player games, Nash equilibrium, Repeated games}
}
@InProceedings{almagor_et_al:LIPIcs.FSTTCS.2023.19,
author = {Almagor, Shaull and Assa, Daniel and Boker, Udi},
title = {{Synchronized CTL over One-Counter Automata}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {19:1--19:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.19},
URN = {urn:nbn:de:0030-drops-193921},
doi = {10.4230/LIPIcs.FSTTCS.2023.19},
annote = {Keywords: CTL, Synchronization, One Counter Automata, Model Checking}
}
@InProceedings{kuske:LIPIcs.FSTTCS.2023.20,
author = {Kuske, Dietrich},
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)},
pages = {20:1--20:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.20},
URN = {urn:nbn:de:0030-drops-193935},
doi = {10.4230/LIPIcs.FSTTCS.2023.20},
annote = {Keywords: rational relations, Mazurkiewicz traces, preservation of rationality and recognizability}
}
@InProceedings{vazirani:LIPIcs.FSTTCS.2023.21,
author = {Vazirani, Vijay V.},
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)},
pages = {21:1--21:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.21},
URN = {urn:nbn:de:0030-drops-193941},
doi = {10.4230/LIPIcs.FSTTCS.2023.21},
annote = {Keywords: Adwords problem, ad auctions, online bipartite matching, competitive analysis}
}
@InProceedings{czerwinski_et_al:LIPIcs.FSTTCS.2023.22,
author = {Czerwi\'{n}ski, Wojciech and D\k{e}bski, Maciej and Gogasz, Tomasz and Hoi, Gordon and Jain, Sanjay and Skrzypczak, Micha{\l} and Stephan, Frank and Tan, Christopher},
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)},
pages = {22:1--22:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.22},
URN = {urn:nbn:de:0030-drops-193959},
doi = {10.4230/LIPIcs.FSTTCS.2023.22},
annote = {Keywords: Nondeterministic Finite Automata, Unambiguous Finite Automata, Upper Bounds on Runtime, Conditional Lower Bounds, Languages over the Unary Alphabet}
}
@InProceedings{bogdanov_et_al:LIPIcs.FSTTCS.2023.23,
author = {Bogdanov, Andrej and Dinesh, Krishnamoorthy and Filmus, Yuval and Ishai, Yuval and Kaplan, Avi and Sekar, Sruthi},
title = {{Bounded Simultaneous Messages}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {23:1--23:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.23},
URN = {urn:nbn:de:0030-drops-193961},
doi = {10.4230/LIPIcs.FSTTCS.2023.23},
annote = {Keywords: Simultaneous Messages, Instance Hiding, Algebraic degree, Preprocessing, Lower Bounds}
}
@InProceedings{dark_et_al:LIPIcs.FSTTCS.2023.24,
author = {Dark, Jacques and Diddapur, Adithya and Konrad, Christian},
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)},
pages = {24:1--24:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.24},
URN = {urn:nbn:de:0030-drops-193976},
doi = {10.4230/LIPIcs.FSTTCS.2023.24},
annote = {Keywords: Streaming Algorithms, Interval Selection, Weighted Intervals, Insertion-deletion Streams}
}
@InProceedings{abboud_et_al:LIPIcs.FSTTCS.2023.25,
author = {Abboud, Amir and Khoury, Seri and Leibowitz, Oree and Safier, Ron},
title = {{Listing 4-Cycles}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {25:1--25:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.25},
URN = {urn:nbn:de:0030-drops-193985},
doi = {10.4230/LIPIcs.FSTTCS.2023.25},
annote = {Keywords: Graph algorithms, cycles listing, subgraph detection, fine-grained complexity}
}
@InProceedings{feinstein_et_al:LIPIcs.FSTTCS.2023.26,
author = {Feinstein, Yoav and Kupferman, Orna},
title = {{Monotonicity Characterizations of Regular Languages}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {26:1--26:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.26},
URN = {urn:nbn:de:0030-drops-193998},
doi = {10.4230/LIPIcs.FSTTCS.2023.26},
annote = {Keywords: Regular Languages, Probability, Monotonicity, Automata}
}
@InProceedings{chugh_et_al:LIPIcs.FSTTCS.2023.27,
author = {Chugh, Rahul and Podder, Supartha and Sanyal, Swagato},
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)},
pages = {27:1--27:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.27},
URN = {urn:nbn:de:0030-drops-194001},
doi = {10.4230/LIPIcs.FSTTCS.2023.27},
annote = {Keywords: Query complexity, Graph Property, Boolean functions}
}
@InProceedings{inamdar_et_al:LIPIcs.FSTTCS.2023.28,
author = {Inamdar, Tanmay and Kanesh, Lawqueen and Kundu, Madhumita and Ramanujan, M. S. and Saurabh, Saket},
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)},
pages = {28:1--28:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.28},
URN = {urn:nbn:de:0030-drops-194013},
doi = {10.4230/LIPIcs.FSTTCS.2023.28},
annote = {Keywords: FPT-AS, F-Deletion, Packing, Elimination Distance, Elimination Treewidth}
}
@InProceedings{vanmelkebeek_et_al:LIPIcs.FSTTCS.2023.29,
author = {van Melkebeek, Dieter and Mocelin Sdroievski, Nicollas},
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)},
pages = {29:1--29:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.29},
URN = {urn:nbn:de:0030-drops-194024},
doi = {10.4230/LIPIcs.FSTTCS.2023.29},
annote = {Keywords: Hardness versus randomness tradeoff, leakage resilience, Arthur-Merlin protocol, targeted hitting set generator}
}
@InProceedings{mande_et_al:LIPIcs.FSTTCS.2023.30,
author = {Mande, Nikhil S. and Paraashar, Manaswi and Saurabh, Nitin},
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)},
pages = {30:1--30:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.30},
URN = {urn:nbn:de:0030-drops-194039},
doi = {10.4230/LIPIcs.FSTTCS.2023.30},
annote = {Keywords: Query complexity, quantum computing, randomized query complexity, tournament solutions, search problems}
}
@InProceedings{bera_et_al:LIPIcs.FSTTCS.2023.31,
author = {Bera, Debajyoti and SAPV, Tharrmashastha},
title = {{A Generalized Quantum Branching Program}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {31:1--31:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.31},
URN = {urn:nbn:de:0030-drops-194043},
doi = {10.4230/LIPIcs.FSTTCS.2023.31},
annote = {Keywords: Quantum computing, quantum branching programs, quantum algorithms, query complexity}
}
@InProceedings{lalonde_et_al:LIPIcs.FSTTCS.2023.32,
author = {Lalonde, Olivier and Mande, Nikhil S. and de Wolf, Ronald},
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)},
pages = {32:1--32:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.32},
URN = {urn:nbn:de:0030-drops-194055},
doi = {10.4230/LIPIcs.FSTTCS.2023.32},
annote = {Keywords: Communication complexity, quantum communication complexity}
}
@InProceedings{lechine:LIPIcs.FSTTCS.2023.33,
author = {L\'{e}chine, Ulysse},
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)},
pages = {33:1--33:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.33},
URN = {urn:nbn:de:0030-drops-194061},
doi = {10.4230/LIPIcs.FSTTCS.2023.33},
annote = {Keywords: Algebraic complexity, P vs NC, algebraic NC, GCT program}
}
@InProceedings{saglam_et_al:LIPIcs.FSTTCS.2023.34,
author = {Sa\u{g}lam, Irmak and Schmuck, Anne-Kathrin},
title = {{Solving Odd-Fair Parity Games}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {34:1--34:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.34},
URN = {urn:nbn:de:0030-drops-194077},
doi = {10.4230/LIPIcs.FSTTCS.2023.34},
annote = {Keywords: parity games, strong transition fairness, algorithmic game theory}
}
@InProceedings{czerwinski_et_al:LIPIcs.FSTTCS.2023.35,
author = {Czerwi\'{n}ski, Wojciech and Jecker, Isma\"{e}l and Lasota, S{\l}awomir and Leroux, J\'{e}r\^{o}me and Orlikowski, {\L}ukasz},
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)},
pages = {35:1--35:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.35},
URN = {urn:nbn:de:0030-drops-194088},
doi = {10.4230/LIPIcs.FSTTCS.2023.35},
annote = {Keywords: vector addition systems, reachability problem, pushdown vector addition system, lower bounds}
}
@InProceedings{agrawal_et_al:LIPIcs.FSTTCS.2023.36,
author = {Agrawal, Akanksha and Ramanujan, M. S.},
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)},
pages = {36:1--36:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.36},
URN = {urn:nbn:de:0030-drops-194096},
doi = {10.4230/LIPIcs.FSTTCS.2023.36},
annote = {Keywords: Lossy Kernelization, Treewidth Modulator, Vertex Deletion Problems}
}
@InProceedings{guruswami_et_al:LIPIcs.FSTTCS.2023.37,
author = {Guruswami, Venkatesan and Saket, Rishi},
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)},
pages = {37:1--37:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.37},
URN = {urn:nbn:de:0030-drops-194106},
doi = {10.4230/LIPIcs.FSTTCS.2023.37},
annote = {Keywords: Learning from label proportions, Computational learning, Hardness, Boolean functions}
}
@InProceedings{choudhury_et_al:LIPIcs.FSTTCS.2023.38,
author = {Choudhury, Abhimanyu and Mahajan, Meena},
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)},
pages = {38:1--38:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.38},
URN = {urn:nbn:de:0030-drops-194116},
doi = {10.4230/LIPIcs.FSTTCS.2023.38},
annote = {Keywords: QBF, CDCL, Resolution, Dependency schemes}
}
@InProceedings{mathew_et_al:LIPIcs.FSTTCS.2023.39,
author = {Mathew, Prince and Penelle, Vincent and Saivasan, Prakash and Sreejith, A.V.},
title = {{Weighted One-Deterministic-Counter Automata}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {39:1--39:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.39},
URN = {urn:nbn:de:0030-drops-194129},
doi = {10.4230/LIPIcs.FSTTCS.2023.39},
annote = {Keywords: One-counter automata, Equivalence, Weighted automata, Reachability}
}
@InProceedings{das_et_al:LIPIcs.FSTTCS.2023.40,
author = {Das, Anupam and De, Abhishek and Saurin, Alexis},
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)},
pages = {40:1--40:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.40},
URN = {urn:nbn:de:0030-drops-194131},
doi = {10.4230/LIPIcs.FSTTCS.2023.40},
annote = {Keywords: linear logic, fixed points, non-wellfounded proofs, omega-branching proofs, analytical hierarchy}
}
@InProceedings{bhaskar_et_al:LIPIcs.FSTTCS.2023.41,
author = {Bhaskar, Ashwin and Praveen, M.},
title = {{Constraint LTL with Remote Access}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {41:1--41:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.41},
URN = {urn:nbn:de:0030-drops-194142},
doi = {10.4230/LIPIcs.FSTTCS.2023.41},
annote = {Keywords: Constraint LTL, Regular Expressions, MSO formulas, Satisfiability, B\"{u}chi automata}
}
@InProceedings{finkel_et_al:LIPIcs.FSTTCS.2023.42,
author = {Finkel, Alain and Krishna, Shankara Narayanan and Madnani, Khushraj and Majumdar, Rupak and Zetzsche, Georg},
title = {{Counter Machines with Infrequent Reversals}},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)},
pages = {42:1--42:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.42},
URN = {urn:nbn:de:0030-drops-194152},
doi = {10.4230/LIPIcs.FSTTCS.2023.42},
annote = {Keywords: Counter machines, reversal-bounded, reachability, decidability, complexity}
}
@InProceedings{kavitha_et_al:LIPIcs.FSTTCS.2023.43,
author = {Kavitha, Telikepalli and Makino, Kazuhisa},
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)},
pages = {43:1--43:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-304-1},
ISSN = {1868-8969},
year = {2023},
volume = {284},
editor = {Bouyer, Patricia and Srinivasan, Srikanth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.43},
URN = {urn:nbn:de:0030-drops-194167},
doi = {10.4230/LIPIcs.FSTTCS.2023.43},
annote = {Keywords: Bipartite graphs, Matchings under preferences, Capacities, Dual certificates}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing