Search Results - DAY, Danny

Author Results for DAY, Danny

Danny Bøgsted Poulsen
Dirk Nowotka
Florin Manea
Joel Day
Mitja Kulczynski
see all »
Thorsten Ehlers

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    On solving word equations using SAT

    On solving word equations using SAT by Joel Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen

    Published 2019
    Get full text
    Default Conference proceeding
    Save to List
    Saved in:

Search Tools: