Open ChuanyuXue opened 2 months ago
In the experiment section "heuristic vs. exact solutions"
"Similar trends can also be found by comparing other pairs of heuristic and exact solutions, such as JRS-NW vs. DT."
Should be corrected as "such as SMT-NW vs. DT"
In the experiment section "heuristic vs. exact solutions"
"Similar trends can also be found by comparing other pairs of heuristic and exact solutions, such as JRS-NW vs. DT."
Should be corrected as "such as SMT-NW vs. DT"