activity
20232026
most citedSoftware Development Vehicles to enable extended and early co-design: a RISC-V and HPC case of study

7 citations · 8 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

math.OC2026

A branch-and-filter method for mixed-integer linear programming

Nikos Dimou

We develop a new tree-search framework for mixed-integer linear programming problems, which incorporates a filter mechanism as a node-acceptance device. The introduced branch-and-f…

math.OC2026

A Sequential Cubic Programming Method with Second-Order Complexity Guarantees for Equality Constrained Optimization

Nikos Dimou, Michael J. O'Neill

We develop a new method for equality constrained optimization problems based on a sequential cubic programming framework. Each iteration utilizes a step decomposition based on the…