Day, Joel D.

1. On Solving Word Equations Using SAT
   2019/06/27 by Day, Joel D., Ehlers, Thorsten, Kulczynski, Mitja +3 · 4 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
2. An SMT Solver for Regular Expressions and Linear Arithmetic over String\n Length
   2020/10/14 by Murphy Berzish, Berzish, Murphy, Mitja Kulczynski +11 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Network Packet Processing and Optimization #semigroups and automata theory
3. Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number
   2019/02/28 by Casel, Katrin, Day, Joel D., Fleischmann, Pamela +3 · 1 citation
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
4. Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems
   2022/06/28 by Day, Joel D., Kosche, Maria, Manea, Florin +1 · 1 citation
   #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)