My paper in iScience describes the fastest Wheeler graph recognition algorithm using renaming heuristics and SMT solver. See the WGT paper, check out GitHub and watch my RECOMB-Seq talk!

   Taipei, Taiwan

  

   Teaching Assistant

  

  

  Introduction