Filip Pokrývka

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Top Venues

Publications

Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran
Clique-width of point configurations. J. Comb. Theory, Ser. B 158 (Part) (2023)
Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guspiel, Petr Hlinený, Filip Pokrývka, Marek Sokolowski
Sparse Graphs of Twin-Width 2 Have Bounded Tree-Width. ISAAC (2023)
Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guspiel, Petr Hlinený, Filip Pokrývka, Marek Sokolowski
Sparse Graphs of Twin-width 2 Have Bounded Tree-width. CoRR (2023)
Lech Duraj, Ross J. Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald
The χ-binding function of d-directional segment graphs. CoRR (2023)
Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider
Weighted Model Counting with Twin-Width. SAT (2022)
Petr Hlinený, Filip Pokrývka
Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs. CoRR (2022)
Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider
Weighted Model Counting with Twin-Width. CoRR (2022)
Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran
Clique-Width of Point Configurations. WG (2020)
Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran
Clique-Width of Point Configurations. CoRR (2020)
Petr Hlinený, Filip Pokrývka, Bodhayan Roy
FO model checking on geometric graphs. Comput. Geom. 78 (2019)
Petr Hlinený, Filip Pokrývka, Bodhayan Roy
FO Model Checking of Geometric Graphs. IPEC (2017)
Petr Hlinený, Filip Pokrývka, Bodhayan Roy
FO model checking of geometric graphs. CoRR (2017)