Filip Bártek

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Search Strategy

Regularization Framework

Neural Architecture

Extended Abstract

Top Venues

PAAR+SC²@IJCAR

Publications

Filip Bártek, Karel Chvalovský, Martin Suda
Cautious Specialization of Strategy Schedules (Extended Abstract). PAAR+SC²@IJCAR (2024)
Filip Bártek, Karel Chvalovský, Martin Suda
Regularization in Spider-Style Strategy Discovery and Schedule Construction. CoRR (2024)
Filip Bártek, Karel Chvalovský, Martin Suda
Regularization in Spider-Style Strategy Discovery and Schedule Construction. IJCAR (1) (2024)
Filip Bártek, Martin Suda
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. LPAR (2023)
Filip Bártek, Martin Suda
Neural Precedence Recommender. CADE (2021)
Filip Bártek, Martin Suda
Learning Precedences from Simple Symbol Features. PAAR+SC²@IJCAR (2020)