Instytut Informatyki Analitycznej - lista publikacji

1-17 z 17.

2023

16.
Michał Wrona, Dmitriy Zhuk, Barnaby Martin
The complete classification for quantified equality constraints, ACM/SIAM Symposium on Discrete Algorithms [SODA], (2023), 2746-2760
15.
Marcin Kozik, Libor Barto, Michael Pinsker, Bertalan Bodor, Antoine Mottet
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing, IEEE Symposium on Logic in Computer Science [LICS] vol. brak (2023), 1-13
14.
Jean Cardinal, Kolja Knauer, Piotr Micek, Dömötör Pálvölgyi, Torsten Ueckerdt, Narmada Varadarajan
12.
Robert Janczewski, Krzysztof Turowski, Bartłomiej Wróblewski
11.
Grzegorz Gutowski, Konstanty Junosza-Szaniawski, Felix Klessen, Paweł Rzążewski, Alexander Wolff, Johannes Zink
Coloring and Recognizing Mixed Interval Graphs, International Symposium on Algorithms and Computation [ISAAC] vol. 283 (2023), 36:1-36:14
10.
Marcin Anholcer, Bartłomiej Bosek, Jarosław Grytczuk, Grzegorz Gutowski, Jakub Przybyło, Rafał Pyzik, Mariusz Zając
9.
Marcin Briański, Gwenaël Joret, Konrad Majewski, Piotr Micek, Michał Seweryn, Roohani Sharma
Treedepth vs circumference, Combinatorica vol. 43 (2023), 659-664
8.
Deniz Agaoglu Çagirici, Onur Çagirici, Jan Derbisz, Tim A. Hartmann, Petr Hlinený, Jan Kratochvíl, Tomasz Krawczyk, Peter Zeman
Recognizing H-Graphs - Beyond Circular-Arc Graphs, International Symposium on Mathematical Foundations of Computer Science [MFCS] vol. LIPIcs 272 (2023), 8:1-8:14
7.
Jakub Kozik, Andrzej Dorobisz
Local Computation Algorithms for Hypergraph Coloring - Following Beck’s Approach, International Colloquium on Automata Languages and Programming [ICALP](MAIN) vol. 261 (LIPIcs) (2023), 48:1-48:20
6.
Mikkel Abrahamsen, Bartosz Walczak
Distinguishing classes of intersection graphs of homothets or similarities of two convex disks, International Symposium on Computational Geometry [SoCG] vol. 258 of Leibniz International Proceedings in Informatics (LIPIcs) (2023), 2:1-2:16
5.
Grzegorz Herman, Grzegorz Gawryał
Aggregating Pairwise Information Over Optimal Routes, International Conference on Vehicle Technology and Intelligent Transport Systems [VEHITS], (2023), 344-352
4.
Long-Distance Directional Dial-a-Ride Problems, International Conference on Vehicle Technology and Intelligent Transport Systems [VEHITS], (2023), 187-197
3.
Antonios Antoniadis, Christian Coester, Marek Elias, Adam Polak, Bertrand Simon
1.
Carla Groenland, Gwenaël Joret, Wojciech Nadara, Bartosz Walczak