25 citations · 27 across the 9 of their papers we have counts for
3 papers · 2 filters
Minimizing the Weighted Number of Tardy Jobs: Data-Driven Heuristic for Single-Machine Scheduling
Nikolai Antonov, Prěmysl Šůcha, Mikoláš Janota +1
Existing research on single-machine scheduling is largely focused on exact algorithms, which perform well on typical instances but can significantly deteriorate on certain regions…
Geometric Reasoning in the Embedding Space
Jan Hůla, David Mojžíšek, Jiří Janeček +2
In this contribution, we demonstrate that Graph Neural Networks and Transformers can learn to reason about geometric constraints. We train them to predict spatial position of point…
Neural Approaches to SAT Solving: Design Choices and Interpretability
David Mojžíšek, Jan Hůla, Ziwei Li +2
In this contribution, we provide a comprehensive evaluation of graph neural networks applied to Boolean satisfiability problems, accompanied by an intuitive explanation of the mech…