Filip Pokr ́Yvka

Recent Publications

Weighted Model Counting with Twin-Width

2022