Mitja Kulczynski
From MaRDI portal
Person:782601
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 |
|---|---|---|
| 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 | 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
