Mitja Kulczynski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Certainty in formalising SMT-LIB for strings in Isabelle International Journal of Foundations of Computer Science	2026-02-17	Paper
Weighted prefix normal words Journal of Combinatorial Theory. Series A	2025-12-11	Paper
Verified verifying: SMT-LIB for strings in Isabelle Implementation and Application of Automata	2024-02-28	Paper
Experimental investigation of sufficient criteria for relations to have kernels	2023-03-30	Paper
Towards more efficient methods for solving regular-expression heavy string constraints Theoretical Computer Science	2023-01-05	Paper
Solving String Theories Involving Regular Membership Predicates Using SAT	2022-12-07	Paper
String theories involving regular membership predicates: from practice to theory and back (available as arXiv preprint)	2022-05-20	Paper
An SMT solver for regular expressions and linear arithmetic over string length (available as arXiv preprint)	2022-03-25	Paper
Weighted prefix normal words: mind the gap (available as arXiv preprint)	2022-03-25	Paper
On collapsing prefix normal words (available as arXiv preprint)	2020-07-27	Paper
On solving word equations using SAT (available as arXiv preprint)	2019-10-22	Paper

Research outcomes over time

This page was built for person: Mitja Kulczynski