Joel D. Day

Identifiers

No identifiers captured yet.

Papers (3)

1. On Solving Word Equations Using SAT cs.FL · 2019 · author #1
2. k-Spectra of weakly-c-Balanced Words cs.FL · 2019 · author #1
3. The Hardness of Solving Simple Word Equations cs.FL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Dirk Nowotka 3 shared papers
• Florin Manea 3 shared papers
• Danny B{\o}gsted Poulsen 1 shared papers
• Mitja Kulczynski 1 shared papers
• Pamela Fleischmann 1 shared papers
• Thorsten Ehlers 1 shared papers