Problems
List of solved classical problems:
ADACLEAN | DETER3 | INVCNT | PGCD | UNTITLE1 | ||
BIA | DISUBSTR | KPSUM | PQUEUE | VLATTICE | ||
BIGSEQ | GSS1 | LCS | QTREE | |||
CERC07B | GSS3 | LCS2 | QTREE2 | |||
CIRU | GSS5 | NHAY | QTREE4 | |||
CMG | GSS7 | NSUBSTR | SORTBIT | |||
DAGCNT2 | HISTOGRA | ONP | SUBST1 |
TODO list of classical problems:
AMR10A | AMR11C | TEST | ||||
AMR10J | HIGHWAY1 | VFMUL |