David Mojzísek

12 papers A 1B 1C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Neural approaches to SAT solving: Design choices and interpretability.
Int. J. Approx. Reason.
David Mojzísek, Jan Hula, Ziwei Li, Ziyu Zhou, Mikolás Janota
2025 J jnl
Geometric Reasoning in the Embedding Space.
CoRR
Jan Hula, David Mojzísek, Jirí Janecek, David Herel, Mikolás Janota
2025 J jnl
Geometric Reasoning in the Embedding Space.
Mach. Learn. Knowl. Extr.
David Mojzísek, Jan Hula, Jirí Janecek, David Herel, Mikolás Janota
2025 J jnl
Neural Approaches to SAT Solving: Design Choices and Interpretability.
CoRR
David Mojzísek, Jan Hula, Ziwei Li, Ziyu Zhou, Mikolás Janota
2024 C conf
Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems.
ICPRAM
David Mojzísek, Jan Hula
2024 A conf
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.
CIKM
Jan Hula, David Mojzísek, Mikolás Janota
2024 J jnl
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.
CoRR
Jan Hula, David Mojzísek, Mikolás Janota
2022 — conf
3D Shapes Classification Using Intermediate Parts Representation.
IPMU (2)
Jan Hula, David Mojzísek, David Adamczyk
2022 — conf
Image Classifier with Dynamic Set of Known Classes.
ITAT
David Mojzísek, Jan Hula
2021 B conf
Graph Neural Networks for Scheduling of SMT Solvers.
ICTAI
Jan Hula, David Mojzísek, Mikolás Janota
2021 — conf
Segmenting out Generic Objects in Monocular Videos.
ITAT
Jan Hula, David Adamczyk, David Mojzísek, Vojtech Molek
2020 — conf
Acquiring Custom OCR System with Minimal Manual Annotation.
DSMP
Jan Hula, David Mojzísek, David Adamczyk, Radek Cech