Filip Bártek

Orcid: 0000-0002-1822-2651

According to our database1, Filip Bártek authored at least 5 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
Cautious Specialization of Strategy Schedules (Extended Abstract).
Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

Regularization in Spider-Style Strategy Discovery and Schedule Construction.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021
Neural Precedence Recommender.
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Learning Precedences from Simple Symbol Features.
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...