David Mojzísek

According to our database, David Mojzísek authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems.

David Mojzísek, Jan Hula

Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, 2024

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.

Jan Hula, David Mojzísek, Mikolás Janota

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

2022

Image Classifier with Dynamic Set of Known Classes.

David Mojzísek, Jan Hula

Proceedings of the 22nd Conference Information Technologies, 2022

3D Shapes Classification Using Intermediate Parts Representation.

Jan Hula, David Mojzísek, David Adamczyk

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

2021

Segmenting out Generic Objects in Monocular Videos.

Jan Hula, David Adamczyk, David Mojzísek, Vojtech Molek

Proceedings of the 21st Conference Information Technologies, 2021

Graph Neural Networks for Scheduling of SMT Solvers.

Jan Hula, David Mojzísek, Mikolás Janota

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

Acquiring Custom OCR System with Minimal Manual Annotation.

Jan Hula, David Mojzísek, David Adamczyk, Radek Cech

Proceedings of the IEEE Third International Conference on Data Stream Mining, Processing, 2020