Publication | Closed Access

Tolerance-based Branch and Bound algorithms for the ATSP

Mathematical ProgrammingReachability AnalysisBranch-and-bound AlgorithmTolerance-based BranchEngineeringComputational Complexity TheoryComputational ComplexityComputer ScienceCombinatorial OptimizationFormal Verification