We stand with Ukraine  

Filip Bártek

Orcid: 0000-0002-1822-2651

According to our database1, Filip Bártek authored at least 4 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Regularization in Spider-Style Strategy Discovery and Schedule Construction.
[BibTeX]
[DOI]
Filip Bártek
,
Karel Chvalovský
,
Martin Suda
CoRR, 2024

2023
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection.
[BibTeX]
[DOI]
Filip Bártek
,
Martin Suda
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021
Neural Precedence Recommender.
[BibTeX]
[DOI]
Filip Bártek
,
Martin Suda
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Learning Precedences from Simple Symbol Features.
[BibTeX]
[DOI]
Filip Bártek
,
Martin Suda
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020


  Loading...