A partitioning algorithm to split an instance into multiple disjoint sub-instances from a specific node partitioning.
An extension of
Utility class to manipulate multiple instances.
An abstract solver that decompose statically an instance into multiple disjoint sub-instances than are solved in parallel.
Statistics for a solving process partitioned statically.
Signals an error when trying to split an instance.
Copyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.