Jeż, Artur
- Balancing Straight-Line Programs
2019/02/10 by Ganardi, Moses, Jeż, Artur, Lohrey, Markus · 6 citations
#68P05 #68W32 #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- A really simple approximation of smallest grammar
2014/03/18 by Artur Jeż, Jeż, Artur · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #DNA and Biological Computing #Data Structures and Algorithms (cs.DS) #E.4 #F.2.2 #F.4.2 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #semigroups and automata theory
- Finding All Solutions of Equations in Free Groups and Monoids with\n Involution
2014/05/20 by Volker Diekert, Artur Jeż, Diekert, Volker +3 · 1 citation
Computer Science · Mathematics · #Discrete Mathematics (cs.DM) #F.2 #F.2.2 #F.4 #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Solutions of Word Equations over Partially Commutative Structures
2016/03/09 by Diekert, Volker, Jeż, Artur, Kufleitner, Manfred +1 · 1 citation
#03D05 #20F65 #20F70 #68Q25 #68Q45 #F.2.2 #F.4.2 #F.4.3 #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Group Theory (math.GR) #Logic in Computer Science (cs.LO)
- Solving one variable word equations in the free group in cubic time
2021/01/15 by Ferens, Robert, Jeż, Artur · 1 citation
#Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Group Theory (math.GR)
- Recompression: a simple and powerful technique for word equations
2012/03/16 by Artur Jeż, Jeż, Artur · 1 citation
Computer Science · #Algorithms and Data Compression #F.2.2 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #semigroups and automata theory
- OSTRICH2: Solver for Complex String Constraints
2025/06/17 by Matthew Hague, Denghang Hu, Hague, Matthew +11 · 3 citations
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques