This page shows all presentations of this author published in EasyChair Smart Slide.
How Much Should This Symbol Weigh? a GNN-Advised Clause Selection
Filip Bártek and Martin Suda