Mitja Kulczynski

Identifiers

• name variant Mitja Kulczynski 0.50 · backfill

Papers (1)

1. On Solving Word Equations Using SAT cs.FL · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Danny B{\o}gsted Poulsen 1 shared papers
• Dirk Nowotka 1 shared papers
• Florin Manea 1 shared papers
• Joel D. Day 1 shared papers
• Thorsten Ehlers 1 shared papers