25 citations · 27 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Jan Hůla, David Mojžíšek, Mikoláš Janota
The paper deals with the interpretability of Graph Neural Networks in the context of Boolean Satisfiability. The goal is to demystify the internal workings of these models and prov…