Mitja Kulczynski

Available identifiers

zbMath Open kulczynski.mitjaMaRDI QIDQ782601

List of research outcomes

Publication	Date of Publication	Type
Verified verifying: SMT-LIB for strings in Isabelle	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	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	2022-05-20	Paper
An SMT solver for regular expressions and linear arithmetic over string length	2022-03-25	Paper
Weighted prefix normal words: mind the gap	2022-03-25	Paper
On collapsing prefix normal words	2020-07-27	Paper
On solving word equations using SAT	2019-10-22	Paper

Research outcomes over time

This page was built for person: Mitja Kulczynski