Publication | Closed Access

Partial-order reduction for general state exploring algorithms

Mathematical ProgrammingReduced Order ModelingEngineeringPartial-order ReductionState Space SearchComplexity ReductionComputational ComplexityComputer Science