RNDr. Filip Pokrývka

2023

• Clique-Width of Point Configurations

  CAGIRICI Onur HLINĚNÝ Petr POKRÝVKA Filip SANKARAN Abhisekh

  Article in Periodical

  Journal of Combinatorial Theory, Ser B, year: 2023, volume: 2023, edition: 158, DOI

• Sparse Graphs of Twin-width 2 Have Bounded Tree-width

  BERGOUGNOUX Benjamin GAJARSKÝ Jakub GUSPIEL Grzegorz Jan HLINĚNÝ Petr POKRÝVKA Filip SOKOŁOWSKI Marek

  Article in Proceedings

  ISAAC 2023, year: 2023

2022

• Weighted Model Counting with Twin-Width

  GANIAN Robert POKRÝVKA Filip SCHIDLER André SIMONOV Kirill SZEIDER Stefan

  Article in Proceedings

  25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), year: 2022

2020

• Clique-Width of Point Configurations

  CAGIRICI Onur HLINĚNÝ Petr POKRÝVKA Filip SANKARAN Abhisekh

  Article in Proceedings

  Graph-Theoretic Concepts in Computer Science, WG 2020, year: 2020

2019

• FO model checking on geometric graphs

  HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

  Article in Periodical

  Computational geometry, year: 2019, volume: 78, edition: 1, DOI

2018

• FO model checking of geometric graphs

  HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

  Article in Proceedings

  12th International Symposium on Parameterized and Exact Computation (IPEC 2017), year: 2018