Acquiring Custom OCR System with Minimal Manual Annotation. - Jan Hula; David Mojzísek; David Adamczyk; Radek Cech (DSMP, 2020)

Graph Neural Networks for Scheduling of SMT Solvers. - Jan Hula; David Mojzísek; Mikolás Janota (ICTAI, 2021)

Segmenting out Generic Objects in Monocular Videos. - Jan Hula; David Adamczyk; David Mojzísek; Vojtech Molek (ITAT, 2021)

3D Shapes Classification Using Intermediate Parts Representation. - Jan Hula; David Mojzísek; David Adamczyk (IPMU (2), 2022)

Image Classifier with Dynamic Set of Known Classes. - David Mojzísek; Jan Hula (ITAT, 2022)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms. - Jan Hula; David Mojzísek; Mikolás Janota (CIKM, 2024)

Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems. - David Mojzísek; Jan Hula (ICPRAM, 2024)

Neural Approaches to SAT Solving: Design Choices and Interpretability. - David Mojzísek; Jan Hula; Ziwei Li; Ziyu Zhou; Mikolás Janota (CoRR, 2025)

Geometric Reasoning in the Embedding Space. - Jan Hula; David Mojzísek; Jirí Janecek; David Herel; Mikolás Janota (CoRR, 2025)