David Mojzsek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2024
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CIKM | Understanding GNNs for Boolean Satisfiability through Approximation Algorithms. | Jan Hula, David Mojzsek, Mikols Janota |
| 2024 | ICPRAM | Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems. | David Mojzsek, Jan Hula |
| 2022 | IPMU | 3D Shapes Classification Using Intermediate Parts Representation. | Jan Hula, David Mojzsek, David Adamczyk |
| 2021 | ICTAI | Graph Neural Networks for Scheduling of SMT Solvers. | Jan Hula, David Mojzsek, Mikols Janota |