Filip Pokrývka

15 papers A* 1A 1B 3Journal 10
YearRankTypeTitle / Venue / Authors
2025 A* conf
3D-grids are not transducible from planar graphs.
LICS
Jakub Gajarský, Michal Pilipczuk, Filip Pokrývka
2025 J jnl
3D-grids are not transducible from planar graphs.
CoRR
Jakub Gajarský, Michal Pilipczuk, Filip Pokrývka
2025 J jnl
The χ-Binding Function of d-Directional Segment Graphs.
Discret. Comput. Geom.
Lech Duraj, Ross J. Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald
2023 J jnl
Clique-width of point configurations.
J. Comb. Theory B
Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran
2023 B conf
Sparse Graphs of Twin-Width 2 Have Bounded Tree-Width.
ISAAC
Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guspiel, Petr Hlinený, Filip Pokrývka, Marek Sokolowski
2023 J jnl
Sparse Graphs of Twin-width 2 Have Bounded Tree-width.
CoRR
Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guspiel, Petr Hlinený, Filip Pokrývka, Marek Sokolowski
2023 J jnl
The χ-binding function of d-directional segment graphs.
CoRR
Lech Duraj, Ross J. Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald
2022 J jnl
Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs.
CoRR
Petr Hlinený, Filip Pokrývka
2022 A conf
Weighted Model Counting with Twin-Width.
SAT
Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider
2022 J jnl
Weighted Model Counting with Twin-Width.
CoRR
Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider
2020 B conf
Clique-Width of Point Configurations.
WG
Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran
2020 J jnl
Clique-Width of Point Configurations.
CoRR
Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran
2019 J jnl
FO model checking on geometric graphs.
Comput. Geom.
Petr Hlinený, Filip Pokrývka, Bodhayan Roy
2017 B conf
FO Model Checking of Geometric Graphs.
IPEC
Petr Hlinený, Filip Pokrývka, Bodhayan Roy
2017 J jnl
FO model checking of geometric graphs.
CoRR
Petr Hlinený, Filip Pokrývka, Bodhayan Roy