RNDr. Filip Pokrývka

2023

• Clique-Width of Point Configurations

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

  Článek v odborném periodiku

  Journal of Combinatorial Theory, Ser B, rok: 2023, ročník: 2023, vydání: 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

  Článek ve sborníku

  ISAAC 2023, rok: 2023

2022

• Weighted Model Counting with Twin-Width

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

  Článek ve sborníku

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

2020

• Clique-Width of Point Configurations

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

  Článek ve sborníku

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

2019

• FO model checking on geometric graphs

  HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

  Článek v odborném periodiku

  Computational geometry, rok: 2019, ročník: 78, vydání: 1, DOI

2018

• FO model checking of geometric graphs

  HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

  Článek ve sborníku

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