Filip Pokrývka

According to our database, Filip Pokrývka authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Clique-width of point configurations.

Onur Çagirici, Petr Hlinený, Filip Pokrývka, Abhisekh Sankaran

J. Comb. Theory B, 2023

The χ-binding function of d-directional segment graphs.

Lech Duraj, Ross J. Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald

CoRR, 2023

Sparse Graphs of Twin-Width 2 Have Bounded Tree-Width.

Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guspiel, Petr Hlinený, Filip Pokrývka, Marek Sokolowski

Proceedings of the 34th International Symposium on Algorithms and Computation, 2023

2022

Weighted Model Counting with Twin-Width: Experimental Results.

Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider

Dataset, June, 2022

Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs.

Petr Hlinený, Filip Pokrývka

CoRR, 2022

Weighted Model Counting with Twin-Width.

Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2019

FO model checking on geometric graphs.

Petr Hlinený, Filip Pokrývka, Bodhayan Roy

Comput. Geom., 2019