7 citations · 8 across the 4 of their papers we have counts for
5 papers
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…
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…
Expectation-enforcing strategies for repeated games
Nikos Dimou, Alex McAvoy
Originating in evolutionary game theory, the class of "zero-determinant" strategies enables a player to unilaterally enforce linear payoff relationships in simple repeated games. A…
Software Development Vehicles to enable extended and early co-design: a RISC-V and HPC case of study
Filippo Mantovani, Pablo Vizcaino, Fabio Banchelli +6
Prototyping HPC systems with low-to-mid technology readiness level (TRL) systems is critical for providing feedback to hardware designers, the system software team (e.g., compiler…
On the Equivalence of Zero-Sum Games and Conic Programs
Nikos Dimou
We prove the almost equivalence of the minimax theorem and the strong duality theorem for a large class of games and conic programs. The previous fundamental results on the equival…