Derek Armstrong
Los Alamos National Laboratory(US)
Publications by Year
Research Areas
Formal Methods in Verification, Scheduling and Optimization Algorithms, Constraint Satisfaction and Optimization, Metaheuristic Optimization Algorithms Research, Computer Graphics and Visualization Techniques
Most-Cited Works
- → A New Neighborhood Function for Discrete Manufacturing Process Design Optimization Using Generalized Hill Climbing Algorithms(2000)9 cited
- → Studying the Complexity of Global Verification for NP-Hard Discrete Optimization Problems(2003)7 cited
- → Data-independent neighborhood functions and strict local optima(2004)6 cited
- → Polynomial transformations and data-independent neighborhood functions(2004)5 cited
- → Analyzing the Complexity of Finding Good Neighborhood Functions for Local Search Algorithms(2006)4 cited
- → A Report on the Validation of Beryllium Strength Models(2016)1 cited
- → Order preserving reductions and polynomial improving paths(2005)1 cited
- → An analysis of neighborhood functions on generic solution spaces(2007)1 cited
- A local search algorithm approach to analyzing the complexity of discrete optimization problems(2002)
- → Hypercomplex Automatic Differentiation Uncertainty Quantification (HYPAD-UQ) in Hydrocode Simulations(2025)