SMTI with Adaptive Search -- support materials
Source Code
The source code for the parallel AS implentation of SMTI
is here.
Instances
The instances described in the paper may be found
in this tar file. The files are
organized into two directories:
-
size-100, which contains the problems of size 100.
-
size-1000, with the problems of size 1000. Of these,
the subdirectory size-1000/hard contains the "hard"
instances.
Supplemental Information
More detailed versions of the experimental evaluation may be
found here.